2 results
Type-safe pattern combinators
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 145-156
-
- Article
-
- You have access
- Export citation
Normalization by evaluation with typed abstract syntax
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 673-680
-
- Article
-
- You have access
- Export citation