4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2026★ 2 cited
Decomposable Type Highlighting for Bidirectional Type and Cast System
Max Carroll, Anil Madhavapeddy, Patrick Ferris
We explore how to provide programmers with an interactive interface for explaining the process by which static types and dynamic casts are derived, with the goal of improving the d…
cs.PL2026★ 4 cited
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…