Inlining as staged computation

DOI10.1017/S0956796802004616zbMATH Open1036.68018OpenAlexW2160701881MaRDI QIDQ4408686FDOQ4408686

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

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

zbMATH Keywords

two-level semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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)