Compiling laziness using projections

DOI10.1007/3-540-61739-6_46MaRDI QIDQ5030197zbMATH OpenOpenAlexFDO

Authors 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 functionprojection componentsource languagetype constructor

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1002941
• Strictness analysis for higher-order functions
• Representing demand by partial projections
• Projections for polymorphic first-order strictness analysis
• Projections for polymorphic strictness analysis

Cites work

• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 3679159 (Why is no real title available?)
• scientific article; zbMATH DE number 512903 (Why is no real title available?)
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• Representing demand by partial projections
• Strictness analysis for higher-order functions

Cited in

(3)

• scientific article; zbMATH DE number 1002941 (Why is no real title available?)
• Projections for polymorphic first-order strictness analysis
• Laziness by need

This page was built for publication: Compiling laziness using projections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5030197)