Compiling laziness using projections

DOI10.1007/3-540-61739-6_46zbMath1482.68082OpenAlexW2146730934MaRDI QIDQ5030197

Ross Paterson

Publication date: 16 February 2022

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61739-6_46

zbMATH Keywords

functional languagepartial functiontype constructorsource languageprojection component

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strictness analysis for higher-order functions
• Representing demand by partial projections
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

This page was built for publication: Compiling laziness using projections