Mauro Jaskelioff
Author
Alternate names Mauro Jaskelioff, Mauro Javier Jaskelioff, Mauro J. Jaskelioff
Institution National University of Rosario
Past institutions National University of Rosario, Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas, Centro Científico Tecnólogico - Rosario, Consejo Nacional de Investigaciones Científicas y Técnicas, University of Nottingham
ORCID: Yes
H-index: 13
I10-index: 15
Works count: 41
Citations count: 377
Secure Multi-execution in Haskell
2012 · Mauro Jaskelioff, Alejandro Russo · Lecture notes in computer science
Precise Enforcement of Confidentiality for Reactive Systems
2013 · Dante Zanarini, Mauro Jaskelioff, et al.
Monad transformers as monoid transformers
2010 · Mauro Jaskelioff, Eugenio Moggi · Theoretical Computer Science