Live functional programming with typed holes

Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer. Live functional programming with typed holes. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]