Server-Side Computation of Package Dependencies in Package-Management Systems
Abstract elided by the publisher.
Related papers
- Package Managers à la Carte: A Formal Model of Dependency Resolution ICFP 2026
- NixOS: a purely functional Linux distribution ICFP 2008
- NixOS: A purely functional Linux distribution JFP 2010
- An adaptive package management system for scheme DLS 2007
- CacBDD: A BDD Package with Dynamic Cache Management CAV 2013
- Engage: a deployment management system PLDI 2012
- The Linear Graph Package, a Compiler Building Environment PLDI 1982
- The Performance of an Object-Oriented Threads Package OOPSLA 1990