bidirectional typing 1cross-ecosystem tooling 1dependency resolution 1dynamic casts 1formal methods 1gradual typing 1interactive highlighting 1package management 1software supply chain 1type debugging 1type systems 1
From the 2 of 5 linked papers with an AI index.
2 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
The paper introduces the Package Calculus, a formal model that captures the core semantics of dependency resolution across different package managers, enabling precise cross‑ecosys…