2 papers
cs.PL2026
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentatio…
cs.SE2025
Solving Package Management via Hypergraph Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +7
Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that m…