Mauro Jaskelioff

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 9

Top Topics

Reactive Systems

Top Venues

J. Funct. Program.

Sci. Comput. Program.

Publications

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