11 citations · 12 across the 4 of their papers we have counts for
4 papers
Container Morphisms for Composable Interactive Systems
André Videla
This paper provides a mathematical framework for client-server communication that results in a modular and type-safe architecture. It is informed and motivated by the software engi…
Lenses for Composable Servers
Andre Videla, Matteo Capucci
We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised na…
idris-ct: A Library to do Category Theory in Idris
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +4
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to ca…
Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +3
We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are m…