Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: a bidirectionally typed structure editor calculus
POPL, 2017.
@inproceedings{POPL-2017-OmarVHAH,
author = "Cyrus Omar and Ian Voysey and Michael Hilton and Jonathan Aldrich and Matthew A. Hammer",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "86--99",
publisher = "{ACM}",
title = "{Hazelnut: a bidirectionally typed structure editor calculus}",
year = 2017,
}