Package Managers à la Carte: A Formal Model of Dependency Resolution

Aug. 2026 Ryan Gibb. The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP) . Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentation prevents multilingual projects from expressing precise dependencies across language ecosystems; it leaves external…