Mauro Jaskelioff

Cited by

	All	Since 2020
Citations	613	229
h-index	15	9
i10-index	16	9

2008200920102011201220132014201520162017201820192020202120222023202420252 4 17 17 24 43 33 33 43 59 46 50 43 41 37 57 41 10

Public access

View all

12 articles

1 article

available

not available

Based on funding mandates

Co-authors

Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Graham HuttonProfessor of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
Maciej PirógUniversity of WrocławVerified email at cs.uni.wroc.pl
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Andy GillCerebrasVerified email at cerebras.net
Alejandro Díaz-CaroInria-Mocqua, LORIA (France) & Universidad Nacional de Quilmes (Argentina)Verified email at inria.fr
Alberto PardoProfessor of Computer Science, Instituto de Computacion, Universidad de la Republica, UruguayVerified email at fing.edu.uy
Venanzio CaprettaNottingham UniversityVerified email at duplavis.com
Pablo BuirasKTH Royal Institute of TechnologyVerified email at kth.se
Germán DelbiancoNomadic LabsVerified email at nomadic-labs.com
Jennifer HackettSchool of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr

Mauro Jaskelioff

CIFASIS/CONICET - Universidad Nacional de Rosario

Verified email at fceia.unr.edu.ar - Homepage

Semantics Functional Programming Category Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Secure multi-execution in Haskell M Jaskelioff, A Russo International Andrei Ershov Memorial Conference on Perspectives of System …, 2011	52	2011
Syntax and semantics for operations with scopes M Piróg, T Schrijvers, N Wu, M Jaskelioff Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	50	2018
Monad transformers and modular algebraic effects: what binds them together T Schrijvers, M Piróg, N Wu, M Jaskelioff Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 98-113, 2019	48	2019
Modular monad transformers M Jaskelioff European Symposium on Programming, 64-79, 2009	43	2009
Monatron: An extensible monad transformer library M Jaskelioff Symposium on Implementation and Application of Functional Languages, 233-248, 2008	43	2008
Precise enforcement of confidentiality for reactive systems D Zanarini, M Jaskelioff, A Russo 2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013	42	2013
Notions of Computation as Monoids E Rivas, M Jaskelioff	39*
Monad transformers as monoid transformers M Jaskelioff, E Moggi Theoretical computer science 411 (51-52), 4441-4466, 2010	37	2010
Modularity and implementation of mathematical operational semantics M Jaskelioff, N Ghani, G Hutton Electronic notes in theoretical computer science 229 (5), 75-95, 2011	34	2011
A representation theorem for second-order functionals M Jaskelioff, R O'connor Journal of functional programming 25, e13, 2015	31	2015
An investigation of the laws of traversals M Jaskelioff, O Rypacek arXiv preprint arXiv:1202.2919, 2012	30	2012
Factorising folds for faster functions G Hutton, M Jaskelioff, A Gill Journal of Functional Programming 20 (3-4), 353-373, 2010	28	2010
Proving the correctness of disk paxos M Jaskelioff, S Merz Archive of Formal Proofs 2005, 2005	27	2005
From monoids to near-semirings: the essence of MonadPlus and Alternative E Rivas, M Jaskelioff, T Schrijvers Proceedings of the 17th International Symposium on Principles and Practice …, 2015	21	2015
Lifting of operations in modular monadic semantics MJ Jaskelioff University of Nottingham, 2009	19	2009
Representing contractive functions on streams G Hutton, M Jaskelioff Submitted to Journal of Functional Programming, 2011	12	2011
A unified view of monadic and applicative non-determinism E Rivas, M Jaskelioff, T Schrijvers Science of Computer Programming 152, 70-98, 2018	7	2018
Functional pearl: a smart view on datatypes M Jaskelioff, E Rivas Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	7	2015
Confluence via strong normalisation in an algebraic\lambda-calculus with rewriting P Buiras, A Díaz-Caro, M Jaskelioff arXiv preprint arXiv:1102.0749, 2011	7	2011
Proving the correctness of disk paxos. Archive of Formal Proofs (June 2005) M Jaskelioff, S Merz	7	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors