Folgen
Mario Román
Mario Román
University of Oxford
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Profunctor Optics, a Categorical Update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6 (1), 2020
442020
Open Diagrams via Coend Calculus
M Román
Proceedings of the 3rd Annual International Applied Category Theory …, 2020
272020
Comb Diagrams for Discrete-Time Feedback
M Román
arXiv preprint arXiv:2003.06214, 2020
182020
Monoidal Streams for Dataflow Programming
E Di Lavore, G de Felice, M Román
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
152022
Profunctor optics and traversals
M Román
MSc Thesis, University of Oxford, 2020
152020
A canonical algebra of open transition systems
E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński
International Conference on Formal Aspects of Component Software, 63-81, 2021
142021
Promonads and String Diagrams for Effectful Categories
M Román
Applied Category Theory 2022, 2022
102022
The Produoidal Algebra of Process Decomposition
M Earnshaw, J Hefford, M Román
Computer Science Logic 2024, 2023
92023
Cornering optics
G Boisseau, C Nester, M Roman
Applied Category Theory 2022, 2022
72022
Evidential Decision theory via Partial Markov Categories
E Di Lavore, M Román
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
62023
Span (Graph): a canonical feedback algebra of open transition systems
E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński
Software and Systems Modeling 22 (2), 495-520, 2023
32023
Ranking programming languages for evolutionary algorithm operations
JJ Merelo-Guervós, I Blancas-Álvarez, PA Castillo, G Romero, ...
Applications of Evolutionary Computation: 20th European Conference …, 2017
32017
Collages of string diagrams
D Braithwaite, M Román
arXiv preprint arXiv:2305.02675, 2023
22023
Coinductive streams in monoidal categories
E Di Lavore, G de Felice, M Román
arXiv preprint arXiv:2212.14494, 2022
22022
Profunctor optics, a categorical update (extended abstract)
M Román, B Clarke, D Elkins, J Gibbons, B Milewski, F Loregian, ...
NWPT 2019, 3, 2019
2*2019
Optics for Premonoidal Categories
J Hefford, M Román
arXiv preprint arXiv:2305.02906, 2023
12023
Effectful Trace Semantics via Effectful Streams
F Bonchi, E Di Lavore, M Román
2024
Presentations of Premonoidal Categories by Devices
M Earnshaw, C Nester, M Román
2023
String Diagrams for Premonoidal Categories
M Román
arXiv preprint arXiv:2305.06075, 2023
2023
Contouring Prostar Autonomous Categories
M Earnshaw, J Hefford, M Román
https://mroman42.github.io/, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20