Typed cross-module compilation

DOI10.1145/289423.289436MaRDI QIDQ5348893zbMATH OpenOpenAlexFDO

Authors Zhong Shao

Publication date 21 August 2017

Published in Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/289423.289436

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Typed cross-module compilation
• A type system for higher-order modules
• Transparent modules with fully syntatic signatures
• Types for modules
• Static interpretation of modules

Cited in

(8)

• Static interpretation of modules
• Transparent modules with fully syntatic signatures
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• scientific article; zbMATH DE number 1746458 (Why is no real title available?)
• Type-based hot swapping of running modules (extended abstract)
• Typed cross-module compilation
• Integrating typed and untyped code in a scripting language
• Lambda-splitting: a higher-order approach to cross-module optimizations

This page was built for publication: Typed cross-module compilation

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