12 citations · 15 across the 2 of their papers we have counts for
4 papers
Fungi: Typed incremental computation with names
Matthew A. Hammer, Jana Dunfield, Kyle Headley +2
Incremental computations attempt to exploit input similarities over time, reusing work that is unaffected by input changes. To maximize this reuse in a general-purpose programming…
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…
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…
Languages of Play: Towards semantic foundations for game interfaces
Chris Martens, Matthew A. Hammer
Formal models of games help us account for and predict behavior, leading to more robust and innovative designs. While the games research community has proposed many formalisms for…