9 citations · 13 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Syntactic Completions with Material Obligations
David Moon, Andrew Blinn, Thomas J. Porter +1
Code editors provide essential services that help developers understand, navigate, and modify programs. However, these services often fail in the presence of syntax errors. Existin…
cs.PL2025
Incremental Bidirectional Typing via Order Maintenance
Thomas J. Porter, Marisa Kirisame, Ivan Wei +2
Live programming environments provide various semantic services, including type checking and evaluation, continuously as the user is editing the program. The live paradigm promises…