@inproceedings{ckg-popl-2017,
    author = {Chang, Stephen and Knauth, Alex and Greenman, Ben},
    title = {Type Systems as Macros},
    booktitle = {{POPL}},
    pages = {694--705},
    year = {2016},
    doi = {https://doi.org/10.1145/3009837.3009886},
    url = {http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf}
}