38 citations · 38 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Program Sketching with Live Bidirectional Evaluation
Justin Lubin, Nick Collins, Cyrus Omar +1
We present a system called Smyth for program sketching in a typed functional language whereby the concrete evaluation of ordinary assertions gives rise to input-output examples, wh…
cs.HC2019
Sketch-n-Sketch: Output-Directed Programming for SVG
Brian Hempel, Justin Lubin, Ravi Chugh
For creative tasks, programmers face a choice: Use a GUI and sacrifice flexibility, or write code and sacrifice ergonomics? To obtain both flexibility and ease of use, a number of…