Type systems as macros

DOI10.1145/3009837.3009886zbMATH Open1380.68081OpenAlexW2564970793MaRDI QIDQ5370904FDOQ5370904

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

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

zbMATH Keywords

type systemsmacrostyped embedded DSLs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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)