12 citations · 24 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
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…
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…