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

type systemsmacrostyped 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

(2)

• ProofViz: an interactive visual proof explorer
• Building language towers with Ziggurat

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)