Package Managers à la Carte: a formal model of dependency resolutionarxiv.org
53 points by avsm 5 days ago | 16 comments