Articles

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

  with Tom Schrijvers, Maciej Pirog, and Nicolas Wu . Haskell 2019. PDF

• Improving Typeclass Relations by Being Open

  with Guido Martínez, and Guido De Luca. Haskell 2018.PDFPDF (extended)Code

• Syntax and Semantics for Operations with Scopes

  with Maciej Piróg, Tom Schrijvers and Nicolas Wu. LICS 2018.PDF

• A Unified View of Monadic and Applicative Non-determinism

  with Exequiel Rivas and Tom Schrijvers. SCP 2018.PDFCode

• Notions of Computation as Monoids

  with Exequiel Rivas. JFP 2017.PDF(PDF extended version)

• Dioids for computational effects

  with Ezequiel Postan and Exequiel Rivas. SLTC/CLEI 2017.PDF

• Contractive Functions on Infinite Data Structures

  with Venanzio Capretta and Graham Hutton. IFL 2016.PDF

• A Smart View on Datatypes

  with Exequiel Rivas. ICFP 2015.PDFCode

• From Monoids to NearSemirings: The Essence of MonadPlus and Alternative

  with Exequiel Rivas and Tom Schrijvers. PPDP 2015.PDF

• A Representation Theorem for Second-Order Functionals

  with Russell O'Connor. JFP 2015.PDF

• Monitoring Reactive Systems with Dynamic Channels

  with Dante Zanarini. PLAS 2014.PDF

• The Under Performing Unfold: A New Approach to Optimising Corecursive Programs

  with Jennifer Hackett and Graham Hutton. IFL 2013.PDF

• Precise Enforcement of Confidentiality for Reactive Systems

  with Dante Zanarini and Alejandro Russo. CSF 2013.PDF

• An Investigation of the Laws of Traversals

  with Ondrej Rypacek. MSFP 2012.PDFCode

• Representing Contractive Functions on Streams

  with Graham Hutton. PDFCodePDF (Ext. version)

• Applicative Shortcut Fusion

  with Germán Delbianco and Alberto Pardo. TFP 2011.PDF

• Confluence via strong normalisation in an algebraic λ-calculus with rewriting

  with Pablo Buiras and Alejandro Díaz-Caro. LSFA 2011.PDF

• Secure Multi-Execution in Haskell

  with Alejandro Russo. PSI 2011.PDF

• Monad Transformers as Monoid Transformers

  with Eugenio Moggi. TCS 2010.PDF

• Factorising Folds for Faster Functions

  with Graham Hutton and Andy Gill. JFP 2010PDFPDF (ext. version)

• Modular Monad Transformers

  ESOP 2009.PDF

• Monatron: An Extensible Monad Transformers Library

  IFL 2008.PDFCode

• Modularity and Implementation of Operational Semantics

  with Neil Ghani and Graham Hutton. MSFP 2008.PDFCode

Technical Reports

• Guarded Recursion and Mathematical Operational Semantics

  with Neil Ghani. Short Contribution to CMCS 2008PDFSlides

• First-Year Transfer Report

  2006. PS PDF

• Proving the Correctness of Disk Paxos

  with Stephan Merz. AFP 2005.

Talks

• Un Modelo Matemático para Semánticas Operacionales Estructurales

  FCEIA, UNR. 2007 Slides

• Towards Operations on Operational Semantics

  BCTCS. 2006 Code Slides

Thesis

• Lifting of Operations in Modular Monadic Semantics

  PhD Thesis. University of Nottingham. 2009 PDF Source code

• Generic Accumulators for Program Calculation

  Graduate Thesis. Supervised by Alberto Pardo. 2004 PS PDF