Articles

• An Investigation of the Laws of Traversals

  with Ondrej Rypacek. Submitted.2012.PDFCode

• 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