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, }