12 citations · 21 across the 2 of their papers we have counts for
3 papers
cs.PL2018
Live Functional Programming with Typed Holes
Cyrus Omar, Ian Voysey, Ravi Chugh +1
This paper develops a dynamic semantics for incomplete functional programs, starting from the static semantics developed in recent work on Hazelnut. We model incomplete functional…
cs.PL2017★ 12 cited
Toward Semantic Foundations for Program Editors
Cyrus Omar, Ian Voysey, Michael Hilton +4
Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- progra…
cs.PL2016★ 9 cited
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Cyrus Omar, Ian Voysey, Michael Hilton +2
Structure editors allow programmers to edit the tree structure of a program directly. This can have cognitive benefits, particularly for novice and end-user programmers. It also si…