Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Videla, André"'
Autor:
Videla, André
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 engineering practice of developing server backends with a database layer a
Externí odkaz:
http://arxiv.org/abs/2407.16713
Autor:
Videla, Andre, Capucci, Matteo
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 nature of lenses models state updates while the lens laws mimic properti
Externí odkaz:
http://arxiv.org/abs/2203.15633
Autor:
Genovese, Fabrizio, Gryzlov, Alex, Herold, Jelle, Knispel, Andre, Perone, Marco, Post, Erik, Videla, André
Publikováno v:
EPTCS 323, 2020, pp. 246-254
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 category theorists who want to implement and try their ideas in a practi
Externí odkaz:
http://arxiv.org/abs/1912.06191
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 meant to be useful for practical/implementation purposes. We show how p
Externí odkaz:
http://arxiv.org/abs/1904.12974