@inproceedings{a23d969a696544aa875e49e3a82e8b48,
title = "Type systems as macros",
abstract = "We present TURNSTILE, a metalanguage for creating typed embedded languages. To implement the type system, programmers write type checking rules resembling traditional judgment syntax. To implement the semantics, they incorporate elaborations into these rules. TURNSTILE critically depends on the idea of linguistic reuse. It exploits a macro system in a novel way to simultaneously type check and rewrite a surface program into a target language. Reusing a macro system also yields modular implementations whose rules may be mixed and matched to create other languages. Combined with typical compiler and runtime reuse, TURNSTILE produces performant typed embedded languages with little effort.",
keywords = "Macros, Type systems, Typed embedded DSLs",
author = "Stephen Chang and Alex Knauth and Ben Greenman",
note = "Publisher Copyright: {\textcopyright} 2017 ACM.; 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 ; Conference date: 15-01-2017 Through 21-01-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1145/3009837.3009886",
language = "English",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "Association for Computing Machinery",
pages = "694--705",
editor = "Gordon, \{Andrew D.\} and Giuseppe Castagna",
booktitle = "POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages",
}