Follow
Mario Román
Mario Román
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6 (1), 2020
412020
Open Diagrams via Coend Calculus
M Román
Applied Category Theory 2020, 2020
252020
Comb Diagrams for Discrete-Time Feedback
M Román
arXiv preprint arXiv:2003.06214, 2020
172020
Profunctor optics and traversals
M Román
MSc Thesis, University of Oxford, 2020
152020
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
142022
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
arXiv preprint arXiv:2301.11867, 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
52023
Functorial language games for question answering
G de Felice, E Di Lavore, M Román, A Toumi
Applied Category Theory 2020, 2020
52020
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
The system can't perform the operation now. Try again later.
Articles 1–20