ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Centrum Wiskunde & Informatica
Ámsterdam, HolandaPublicacions en col·laboració amb investigadors/es de Centrum Wiskunde & Informatica (2)
2020
-
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234
2017
-
A formal, resource consumption-preserving translation of actors to Haskell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)