Follow
André Videla
André Videla
University of strathclyde
Verified email at strath.ac.uk
Title
Cited by
Cited by
Year
Computational petri nets: Adjunctions considered harmful
F Genovese, A Gryzlov, J Herold, M Perone, E Post, A Videla
arXiv preprint arXiv:1904.12974, 2019
92019
Lenses for composable servers
A Videla, M Capucci
arXiv preprint arXiv:2203.15633, 2022
72022
idris-ct: A Library to do Category Theory in Idris
F Genovese, A Gryzlov, J Herold, A Knispel, M Perone, E Post, A Videla
arXiv preprint arXiv:1912.06191, 2019
72019
Container Morphisms for Composable Interactive Systems
A Videla
arXiv preprint arXiv:2407.16713, 2024
2024
Optics for generic declarative server APIs
A Videla
The system can't perform the operation now. Try again later.
Articles 1–5