Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent type systems as macros
POPL, 2020.
@article{POPL-2020-ChangBTB,
author = "Stephen Chang and Michael Ballantyne and Milo Turner and William J. Bowman",
doi = "10.1145/3371071",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{Dependent type systems as macros}",
volume = 4,
year = 2020,
}