Defunctionalized Interpreters for Call-by-Need Evaluation

Olivier Danvy
Kevin Millikin
Johan Munk
Ian Zerny
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Springer, pp. 240-256
Google Scholar

Abstract

Research Areas