9 citations · 13 across the 6 of their papers we have counts for
3 papers · 1 filter
Bidirectional Type Slicing
Max Carroll, Anil Madhavapeddy, Cyrus Omar
Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing: a programmer selects a term, queries any part of i…
Practical Algebraic Stepping with Scoped Filters
Haoxiang Fei, Matthew Keenan, Cyrus Omar
Algebraic steppers help students learn functional programming by displaying evaluation as a sequence of small-step reductions, but even simple programs produce long traces in which…
Incremental Live Programming via Shortcut Memoization
Marisa Kirisame, Thomas J. Porter, Ruqing Yang +5
Live programming systems aim to quickly show programmers the dynamic impacts of program edits. To do so, they re-execute the program whenever it is edited, which poses a computatio…