Mauro Jaskelioff

According to our database, Mauro Jaskelioff authored at least 25 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Effectful improvement theory.

Martín Ceresa, Mauro Jaskelioff

Sci. Comput. Program., 2022

On Structuring Functional Programs with Monoidal Profunctors.

Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

2019

Monad transformers and modular algebraic effects: what binds them together.

Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

A unified view of monadic and applicative non-determinism.

Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers

Sci. Comput. Program., 2018

Syntax and Semantics for Operations with Scopes.

Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Improving typeclass relations by being open.

Guido Martínez, Mauro Jaskelioff, Guido De Luca

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Notions of computation as monoids.

Exequiel Rivas, Mauro Jaskelioff

J. Funct. Program., 2017

Dioids for Computational Effects.

Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff

Proceedings of the XLIII Latin American Computer Conference - Selected Papers, 2017

2016

Contractive Functions on Infinite Data Structures.

Venanzio Capretta, Graham Hutton, Mauro Jaskelioff

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

A representation theorem for second-order functionals.

Mauro Jaskelioff, Russell O'Connor

J. Funct. Program., 2015

From monoids to near-semirings: the essence of MonadPlus and alternative.

Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Functional pearl: a smart view on datatypes.

Mauro Jaskelioff, Exequiel Rivas

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Monitoring Reactive Systems with Dynamic Channels.

Dante Zanarini, Mauro Jaskelioff

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013

The Under-Performing Unfold: A new approach to optimising corecursive programs.

Jennifer Hackett, Graham Hutton, Mauro Jaskelioff

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Precise Enforcement of Confidentiality for Reactive Systems.

Dante Zanarini, Mauro Jaskelioff, Alejandro Russo

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

An Investigation of the Laws of Traversals

Mauro Jaskelioff, Ondrej Rypacek

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

2011

Lower Bounds for Scalars in a Typed Algebraic λ-calculus

Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

Applicative Shortcut Fusion.

Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

Secure Multi-execution in Haskell.

Mauro Jaskelioff, Alejandro Russo

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Monad transformers as monoid transformers.

Mauro Jaskelioff, Eugenio Moggi

Theor. Comput. Sci., 2010

Factorising folds for faster functions.

Graham Hutton, Mauro Jaskelioff, Andy Gill

J. Funct. Program., 2010

2009

Modular Monad Transformers.

Mauro Jaskelioff

Proceedings of the Programming Languages and Systems, 2009

2008

Modularity and Implementation of Mathematical Operational Semantics.

Mauro Jaskelioff, Neil Ghani, Graham Hutton

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

Monatron: An Extensible Monad Transformer Library.

Mauro Jaskelioff

Proceedings of the Implementation and Application of Functional Languages, 2008

2005

Proving the Correctness of Disk Paxos.

Mauro Jaskelioff, Stephan Merz

Arch. Formal Proofs, 2005