research
∙
02/10/2023
A Mathematical Model of Package Management Systems – from General Event Structures to Antimatroids
This paper brings mathematical tools to bear on the study of package dep...
share
research
∙
07/20/2022
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Functors with an instance of the Traversable type class can be thought o...
research
∙
07/04/2021
The Semantics of Package Management via Event Structures
We propose an approach to the semantics of package management which rela...
research
∙
04/12/2020