gradual typing 2bidirectional type systems 1bidirectional typing 1dynamic casts 1interactive highlighting 1program slicing 1type debugging 1type error explanation 1type slicing 1type systems 1
From the 2 of 2 linked papers with an AI index.
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
The paper introduces a decomposable highlighting system for bidirectional type checking and dynamic casts, providing an interactive web interface to help programmers debug static a…
cs.PL2026★ 4 cited
Bidirectional Type Slicing
Max Carroll, Anil Madhavapeddy, Cyrus Omar
The paper introduces a theory of type slicing for bidirectional type systems, allowing programmers to query parts of a term's type and receive a minimal program slice that reproduc…