Mauro Jaskelioff

Cited by

	All	Since 2019
Citations	596	263
h-index	15	10
i10-index	16	10

200820092010201120122013201420152016201720182019202020212022202320242 4 16 18 24 43 32 32 44 57 46 51 44 41 37 62 27

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
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 WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
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	47	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	45	2019
Modular monad transformers M Jaskelioff Programming Languages and Systems: 18th European Symposium on Programming …, 2009	42	2009
Monatron: An extensible monad transformer library M Jaskelioff Symposium on Implementation and Application of Functional Languages, 233-248, 2008	42	2008
Precise enforcement of confidentiality for reactive systems D Zanarini, M Jaskelioff, A Russo 2013 IEEE 26th Computer Security Foundations Symposium, 18-32, 2013	41	2013
Notions of Computation as Monoids E Rivas, M Jaskelioff	38*
Monad transformers as monoid transformers M Jaskelioff, E Moggi Theoretical computer science 411 (51-52), 4441-4466, 2010	36	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	30	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	25	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	20	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
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
A unified view of monadic and applicative non-determinism E Rivas, M Jaskelioff, T Schrijvers Science of Computer Programming 152, 70-98, 2018	6	2018

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