Francisco Ferreira, Stefan Monnier, Brigitte Pientka. Compiling contextual objects: bringing higher-order abstract syntax to programmers. In Matthew Might, David Van Horn, Andreas Abel 0001, Tim Sheard, editors, Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. pages 13-24, ACM, 2013. [doi]
@inproceedings{FerreiraMP13,
title = {Compiling contextual objects: bringing higher-order abstract syntax to programmers},
author = {Francisco Ferreira and Stefan Monnier and Brigitte Pientka},
year = {2013},
doi = {10.1145/2428116.2428121},
url = {http://doi.acm.org/10.1145/2428116.2428121},
researchr = {https://researchr.org/publication/FerreiraMP13},
cites = {0},
citedby = {0},
pages = {13-24},
booktitle = {Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013},
editor = {Matthew Might and David Van Horn and Andreas Abel 0001 and Tim Sheard},
publisher = {ACM},
isbn = {978-1-4503-1860-0},
}