Mauro Jaskelioff

Cited by

	All	Since 2017
Citations	458	228
h-index	15	11
i10-index	16	13

2008200920102011201220132014201520162017201820192020202120222 4 17 24 21 44 32 30 43 54 39 47 46 38 3

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Graham HuttonProfessor of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Maciej PirógUniversity of WrocławVerified email at cs.uni.wroc.pl
Nicolas WuSenior Lecturer in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Alejandro Díaz-CaroInstituto de Ciencias de la Computación (UBA/CONICET) & Universidad de QuilmesVerified email at icc.fcen.uba.ar
Andy GillAssociate Professor, University of KansasVerified email at ku.edu
Alberto PardoProfessor of Computer Science, Instituto de Computacion, Universidad de la Republica, UruguayVerified email at fing.edu.uy
Pablo BuirasKTH Royal Institute of TechnologyVerified email at kth.se
Germán DelbiancoNomadic LabsVerified email at nomadic-labs.com
Venanzio CaprettaNottingham UniversityVerified email at duplavis.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	50	2011
Precise enforcement of confidentiality for reactive systems D Zanarini, M Jaskelioff, A Russo 2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013	38	2013
Monatron: An extensible monad transformer library M Jaskelioff Symposium on Implementation and Application of Functional Languages, 233-248, 2008	37	2008
Modular monad transformers M Jaskelioff European Symposium on Programming, 64-79, 2009	32	2009
Modularity and implementation of mathematical operational semantics M Jaskelioff, N Ghani, G Hutton Electronic notes in theoretical computer science 229 (5), 75-95, 2011	31	2011
Monad transformers as monoid transformers M Jaskelioff, E Moggi Theoretical computer science 411 (51-52), 4441-4466, 2010	29	2010
Notions of Computation as Monoids E Rivas, M Jaskelioff	26*
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	25	2018
Factorising folds for faster functions G Hutton, M Jaskelioff, A Gill Journal of Functional Programming 20 (3-4), 353-373, 2010	23	2010
Proving the correctness of disk paxos M Jaskelioff, S Merz Archive of Formal Proofs 2005, 2005	23	2005
A representation theorem for second-order functionals M Jaskelioff, R O'connor Journal of functional programming 25, 2015	21	2015
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	20	2019
An investigation of the laws of traversals M Jaskelioff, O Rypacek arXiv preprint arXiv:1202.2919, 2012	20	2012
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	17	2015
Lifting of operations in modular monadic semantics MJ Jaskelioff University of Nottingham, 2009	17	2009
Representing contractive functions on streams G Hutton, M Jaskelioff Submitted to Journal of Functional Programming, 2011	10*	2011
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	9	2011
Functional pearl: a smart view on datatypes M Jaskelioff, E Rivas Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	6	2015
Applicative shortcut fusion GA Delbianco, M Jaskelioff, A Pardo International Symposium on Trends in Functional Programming, 179-194, 2011	6	2011
Proving the Correctness of Disk Paxos. Archive of Formal Proofs (June 2005) M Jaskelioff, S Merz	4	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 this author

Cited by

Co-authors