Publications

Normalization by evaluation with typed abstract syntax

• • Olivier Danvy
  • Morten Rhiger
  • et al.
• 2001
• Journal of Functional Programming