Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch
Unifying analytic and statically-typed quasiquotes
POPL, 2018.
@article{POPL-2018-ParreauxVSK, author = "Lionel Parreaux and Antoine Voizard and Amir Shaikhha and Christoph E. Koch", doi = "10.1145/3158101", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "33", publisher = "{ACM}", title = "{Unifying analytic and statically-typed quasiquotes}", volume = 2, year = 2018, }