Normalization by evaluation with typed abstract syntax
- Olivier Danvy
- Morten Rhiger
- et al.
- 2001
- Journal of Functional Programming
Publications
Date
Featured collections
Popular topics
2 results at Journal of Functional Programming
A functional animation starter-kit
- Kavi Arya
- 1994
- Journal of Functional Programming