2 search results - page 1 / 1 » Defunctionalized Interpreters for Call-by-Need Evaluation |
FLOPS
2010
Springer
14 years 5 months ago
2010
Springer
IFL
2004
Springer
14 years 4 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...