Statistics
Publications
10
Citations
234
H-Index
10
Active since
2005
Mauro Jaskelioff is an author at National University of Rosario specializing in computer science, computing, and programming languages.
Publications per year
2005–2019
10
10
Monad transformers and modular algebraic effects: what binds them together
Tom Schrijvers, Maciej Piróg, Nicolas Wu et al. · 2019 · 30 citations · Full text
Syntax and Semantics for Operations with Scopes
Maciej Piróg, Tom Schrijvers, Nicolas Wu et al. · 2018 · 26 citations · Full text
Proving the Correctness of Disk Paxos.
Mauro Jaskelioff, Stephan Merz · Archive of formal proofs · 2005 · 23 citations
1–5 of 10