Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Mauro Jaskelioff
Observed names:
Jaskelioff, Mauro,
Jaskelioff, Mauro Javier,
MAURO JASKELIOFF,
Mauro J. Jaskelioff
Institution:
Input Output (Singapore)
Observed institutions:
University of Nottingham,
Consejo Nacional de Investigaciones Científicas y Técnicas,
National University of Rosario,
Centro Científico Tecnólogico - Rosario,
Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas,
Input Output (Singapore)
show all 6
ORCID:
0000-0001-7865-3341
Observed ORCID:
0000-0001-7865-3341
OpenAlex ID:
A5060258989
Monad transformers and modular algebraic effects: what binds them together
2019
·
Tom Schrijvers
, Maciej Piróg
, et al.
·
International Symposium on Haskell
·
46
PDF
Syntax and Semantics for Operations with Scopes
2018
·
Maciej Piróg
, Tom Schrijvers
, et al.
·
ACM/IEEE Symposium on Logic in Computer Science (LICS)
·
40
PDF
Notions of computation as monoids
2017
·
EXEQUIEL RIVAS
, MAURO JASKELIOFF
·
Journal of Functional Programming
·
39
PDF
Secure Multi-execution in Haskell
2012
·
Mauro Jaskelioff
, Alejandro Russo
·
Lecture notes in computer science
·
35
Monad transformers as monoid transformers
2010
·
Mauro Jaskelioff
, Eugenio Moggi
·
Theoretical Computer Science
·
35
Precise Enforcement of Confidentiality for Reactive Systems
2013
·
Dante Zanarini
, Mauro Jaskelioff
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
34
PDF
Modular Monad Transformers
2009
·
Mauro Jaskelioff
·
Lecture notes in computer science
·
32
Monatron: An Extensible Monad Transformer Library
2011
·
Mauro Jaskelioff
·
Lecture notes in computer science
·
28
Proving the Correctness of Disk Paxos.
2005
·
Mauro Jaskelioff
, Stephan Merz
·
Arch. Formal Proofs
·
24
Factorising folds for faster functions
2010
·
GRAHAM HUTTON
, MAURO JASKELIOFF
, et al.
·
Journal of Functional Programming
·
21
PDF
A representation theorem for second-order functionals
2015
·
MAURO JASKELIOFF
, RUSSELL O'CONNOR
·
Journal of Functional Programming
·
20
PDF
An Investigation of the Laws of Traversals
2012
·
Mauro Jaskelioff
, Ondrej Rypacek
·
Electronic Proceedings in Theoretical Computer Science
·
19
Modularity and Implementation of Mathematical Operational Semantics
2011
·
Mauro Jaskelioff
, Neil Ghani
, et al.
·
Electronic Notes in Theoretical Computer Science
·
19
PDF
From monoids to near-semirings: the essence of MonadPlus and alternative
2015
·
Exequiel Rivas
, Mauro Jaskelioff
, et al.
·
International Symposium on Principles and Practice of Declarative Programming (PPDP)
·
15
PDF
Representing Contractive Functions on Streams
2011
·
Graham Hutton
, Mauro Jaskelioff
·
11
Lifting of operations in modular monadic semantics
2009
·
Mauro Jaskelioff
·
Nottingham ePrints (University of Nottingham)
·
10
PDF
Functional pearl: a smart view on datatypes
2015
·
Mauro Jaskelioff
, Exequiel Rivas
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
5
The Under-Performing Unfold: A new approach to optimising corecursive programs
2013
·
Jennifer Hackett
, Graham Hutton
, et al.
·
Implementation and Application of Functional Languages
·
5
PDF
A unified view of monadic and applicative non-determinism
2017
·
Exequiel Rivas
, Mauro Jaskelioff
, et al.
·
Science of Computer Programming
·
4
PDF
Applicative Shortcut Fusion
2012
·
Germán Andrés Delbianco
, Mauro Jaskelioff
, et al.
·
Lecture notes in computer science
·
3
On Structuring Functional Programs with Monoidal Profunctors
2022
·
Alexandre Garcia de Oliveira
, Mauro Jaskelioff
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
1
Improving typeclass relations by being open
2018
·
Guido Martínez
, Mauro Jaskelioff
, et al.
·
International Symposium on Haskell
·
1
PDF
Dioids for Computational Effects
2018
·
Ezequiel Postan
, Exequiel Rivas
, et al.
·
Electronic Notes in Theoretical Computer Science
·
1
Contractive Functions on Infinite Data Structures
2016
·
Venanzio Capretta
, Graham Hutton
, et al.
·
Implementation and Application of Functional Languages
·
1
Functional pearl: a smart view on datatypes
2015
·
Mauro Jaskelioff
, Exequiel Rivas
·
ACM SIGPLAN Notices
·
1
Show more works
View as search
Works count:
49
Citation count:
456
H-index:
14
I10-index:
16
Year
Topic
Type
