Improving the lazy Krivine machine
From MaRDI portal
Publication:2464718
DOI10.1007/s10990-007-9014-0zbMath1130.68055MaRDI QIDQ2464718
Jeremy G. Siek, Daniel P. Friedman, Abdulaziz Ghuloum, Onnie Lynn Winebarger
Publication date: 17 December 2007
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-007-9014-0
Related Items
Uses Software
Cites Work
- The lambda calculus, its syntax and semantics
- A functional correspondence between call-by-need evaluators and lazy abstract machines
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
- Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
- Deriving a lazy abstract machine
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item