This paper brings mathematical tools to bear on the study of package
dep...
Functors with an instance of the Traversable type class can be thought o...
We propose an approach to the semantics of package management which rela...
This paper is motivated by the desire to study package management using ...