Package Managers à la Carte: A Formal Model of Dependency Resolution
Summary
The article presents the Package Calculus, a formal model that unifies dependency resolution across diverse package managers. It demonstrates how formal reductions can model cross-ecosystem dependencies, enabling translation and resolution across ecosystems, with implications for multi-language development and software supply-chain security.