Type systems as macros

DOI10.1145/3009837.3009886zbMath1380.68081OpenAlexW2564970793MaRDI QIDQ5370904

Ben Greenman, Alex Knauth, Stephen F. Chang

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)

Related Items (1)

ProofViz: an interactive visual proof explorer

This page was built for publication: Type systems as macros