Type systems as macros.

Stephen Chang, Alex Knauth, Ben Greenman

Browse the full POPL paper archive.