Mauro Jaskelioff

29 papers A* 1A 3C 1Journal 9Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
A Readable and Computable Formalization of the Streamlet Consensus Protocol.
FMBC
Mauro Jaskelioff, Orestis Melkonian, James Chapman
2022 J jnl
Effectful improvement theory.
Sci. Comput. Program.
Martín Ceresa, Mauro Jaskelioff
2022 — conf
On Structuring Functional Programs with Monoidal Profunctors.
MSFP@ETAPS
Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo
2019 — conf
Monad transformers and modular algebraic effects: what binds them together.
Haskell@ICFP
Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
2018 J jnl
A unified view of monadic and applicative non-determinism.
Sci. Comput. Program.
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
2018 — conf
Improving typeclass relations by being open.
Haskell@ICFP
Guido Martínez, Mauro Jaskelioff, Guido De Luca
2018 A* conf
Syntax and Semantics for Operations with Scopes.
LICS
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
2017 — conf
Dioids for Computational Effects.
CLEI Selected Papers
Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff
2017 J jnl
Notions of computation as monoids.
J. Funct. Program.
Exequiel Rivas, Mauro Jaskelioff
2016 — conf
Contractive Functions on Infinite Data Structures.
IFL
Venanzio Capretta, Graham Hutton, Mauro Jaskelioff
2015 J jnl
A representation theorem for second-order functionals.
J. Funct. Program.
Mauro Jaskelioff, Russell O'Connor
2015 C conf
From monoids to near-semirings: the essence of MonadPlus and alternative.
PPDP
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
2015 A conf
Functional pearl: a smart view on datatypes.
ICFP
Mauro Jaskelioff, Exequiel Rivas
2014 J jnl
A Representation Theorem for Second-Order Functionals.
CoRR
Mauro Jaskelioff, Russell O'Connor
2014 — conf
Monitoring Reactive Systems with Dynamic Channels.
PLAS@ECOOP
Dante Zanarini, Mauro Jaskelioff
2014 J jnl
Notions of Computation as Monoids.
CoRR
Exequiel Rivas, Mauro Jaskelioff
2013 A conf
Precise Enforcement of Confidentiality for Reactive Systems.
CSF
Dante Zanarini, Mauro Jaskelioff, Alejandro Russo
2013 — conf
The Under-Performing Unfold: A new approach to optimising corecursive programs.
IFL
Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
2012 — conf
An Investigation of the Laws of Traversals
MSFP
Mauro Jaskelioff, Ondrej Rypacek
2011 — conf
Applicative Shortcut Fusion.
Trends in Functional Programming
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo
2011 — conf
Lower Bounds for Scalars in a Typed Algebraic λ-calculus
LSFA
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
2011 — conf
Secure Multi-execution in Haskell.
Ershov Memorial Conference
Mauro Jaskelioff, Alejandro Russo
2010 J jnl
Factorising folds for faster functions.
J. Funct. Program.
Graham Hutton, Mauro Jaskelioff, Andy Gill
2010 J jnl
Monad transformers as monoid transformers.
Theor. Comput. Sci.
Mauro Jaskelioff, Eugenio Moggi
2009 — —
Lifting of operations in modular monadic semantics.
Mauro Jaskelioff
2009 A conf
Modular Monad Transformers.
ESOP
Mauro Jaskelioff
2008 — conf
Modularity and Implementation of Mathematical Operational Semantics.
MSFP@ICALP
Mauro Jaskelioff, Neil Ghani, Graham Hutton
2008 — conf
Monatron: An Extensible Monad Transformer Library.
IFL
Mauro Jaskelioff
2005 J jnl
Proving the Correctness of Disk Paxos.
Arch. Formal Proofs
Mauro Jaskelioff, Stephan Merz