Marco Perone

According to our database, Marco Perone authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl).

Marco Perone, Georgios Karachalias

CoRR, 2023

Crème de la Crem: Composable Representable Executable Machines.

Marco Perone, Georgios Karachalias

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2019

idris-ct: A Library to do Category Theory in Idris.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Computational Petri Nets: Adjunctions Considered Harmful.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla

CoRR, 2019

2014

On Some Noteworthy Pairs of Ideals in Mod-R.

Alberto Facchini, Marco Perone

Appl. Categorical Struct., 2014