3 results
Cogent: uniqueness types and certifying compilation
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 27 October 2021, e25
-
- Article
-
- You have access
- Open access
- Export citation
Contributors
-
-
- Book:
- The Causes of Epilepsy
- Published online:
- 05 March 2012
- Print publication:
- 14 April 2011, pp ix-xvi
-
- Chapter
- Export citation