Inlining as staged computation

DOI10.1017/S0956796802004616MaRDI QIDQ4408686zbMATH OpenOpenAlexFDO

Authors Stefan Monnier, Zhong Shao

Publication date 2003

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796802004616

zbMATH Keywords

two-level semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Secrets of the Glasgow Haskell Compiler inliner
• Lambda-splitting: a higher-order approach to cross-module optimizations
• scientific article; zbMATH DE number 512897
• Type-specialized staged programming with process separation
• A modal analysis of staged computation

Cited in

(3)

• Lambda-splitting: a higher-order approach to cross-module optimizations
• Secrets of the Glasgow Haskell Compiler inliner
• Type-specialized staged programming with process separation

This page was built for publication: Inlining as staged computation

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