Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live functional programming with typed holes
POPL, 2019.
@article{POPL-2019-OmarVCH,
author = "Cyrus Omar and Ian Voysey and Ravi Chugh and Matthew A. Hammer",
doi = "10.1145/3290327",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "32",
publisher = "{ACM}",
title = "{Live functional programming with typed holes}",
volume = 3,
year = 2019,
}











