works on
cross-ecosystem tooling 1dependency resolution 1formal methods 1package management 1software supply chain 1

From the 1 of 4 linked papers with an AI index.

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…