38 citations · 38 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Bidirectional Evaluation with Direct Manipulation
Mikaël Mayer, Viktor Kunčak, Ravi Chugh
We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuit…
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…