2 search results - page 1 / 1 » Defunctionalized Interpreters for Call-by-Need Evaluation |
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
124
click to vote
IFL
2004
Springer
15 years 8 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...