Type systems as macros

DOI10.1145/3009837.3009886MaRDI QIDQ5370904zbMATH OpenOpenAlexFDO

Authors Stephen F. Chang, Alex Knauth, Ben Greenman

Publication date 20 October 2017

Published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

macrostype systemstyped embedded DSLs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Static analysis for syntax objects
• Macros that work together
• Typed syntactic meta-programming
• Building language towers with Ziggurat

Cited in

(3)

• Building language towers with Ziggurat
• Programming and reasoning about actors that share state
• ProofViz: an interactive visual proof explorer

This page was built for publication: Type systems as macros

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