Reusable Components for Programming Language Design. A Physical Sciences, Engineering & Computing Research Centre seminar. Nottingham, England, 5th October 2016.
Concepts of Functional Programming. A Particle Theory Group seminar. Nottingham, England, 1st April 2016.
A Modular Structural Operational Semantics for Delimited Continuations. A Functional Programming Laboratory seminar. Nottingham, England, 4th March 2016.
Tool Support for Component-Based Semantics. At the 27th Nordic Workshop on Programming Theory. Reykjavik, Iceland, 21st October 2015.
A Modular Structural Operational Semantics for Delimited Continuations. At the First Workshop on Continuations. London, England, 12th April 2015.
Funcons: Reusable and Modular Semantic Components. A Functional Programming Laboratory seminar. Nottingham, England, 18th September 2014.
Reusable Components for Formal Semantics. Computer Science Department Research Away Day. Swansea, Wales, 29th August 2014.
The Constrained-Monad Problem. A Proof, Complexity and Verification seminar. Swansea, Wales, 10th June 2014.
The HERMIT in the Tree. A PLanCompS Reading Group meeting. Swansea, Wales, 12th March 2014.
The Constrained-Monad Problem. At the 18th International Conference on Functional Programming. Boston, Massachusetts, 27th September 2013.
abstract slides code constrained-normal–package set-monad–package
The Constrained-Monad Problem. A Functional Programming Laboratory seminar. Nottingham, England, 16th July 2013.
The Constrained-Monad Problem. Seminars at Portland State University and Galois Inc. Portland, Oregon, 21st & 25th June 2013.
How to Interact with a HERMIT. At the Fourteenth Symposium on Trends in Functional Programming. Provo, Utah, 16th May 2013.
Space Leaks and Forcing Evaluation in Haskell. An EECS 776 guest lecture. Lawrence, Kansas, 30th November 2012.
Zippers. An EECS 776 guest lecture. Lawrence, Kansas, 28th November 2012.
An Introduction to Functional Reactive Programming. An EECS 776 guest lecture. Lawrence, Kansas, 26th October & 5th November 2012.
The HERMIT in the Tree. At Midwest Verification Day. Lawrence, Kansas, 20th September 2012.
The HERMIT in the Machine. At the Haskell Symposium. Copenhagen, Denmark, 13th September 2012.
The HERMIT in the Tree. At 24th Symposium on Implementation and Application of Functional Languages. Oxford, England, 31st August 2012.
The HERMIT in the Machine. A Functional Programming Laboratory seminar. Nottingham, England, 28th August 2012.
An Introduction to Functional Reactive Programming. An EECS 776 guest lecture. Lawrence, Kansas, 19th April 2012.
An Introduction to Functional Reactive Programming. An ITTC Lambda seminar. Lawrence, Kansas, 30th March 2012.
Temporal-Logic Combinators. At the Functional Programming Laboratory Away Day. Buxton, England, 8th July 2011.
Exploiting Signal Functions and Signal Kinds in FRP. At the Functional Programming Laboratory Away Day. Castleton, England, 21st July 2010.
Safe Functional Reactive Programming through Dependent Types. At the 14th International Conference on Functional Programming. Edinburgh, Scotland, 31st August 2009.
Safe Functional Reactive Programming through Dependent Types. At the Functional Programming Laboratory Away Day. Worksop, England, 23rd June 2009.
Safe Functional Reactive Programming through Dependent Types. At Types 2009. Aussois, France, 12th May 2009.
Safe Functional Reactive Programming through Dependent Types. At the 25th British Colloquium on Theoretical Computer Science. University of Warwick, England, 7th April 2009.
Optimisation of Dynamic, Hybrid Signal Function Networks. At the Ninth Symposium on Trends in Functional Programming. Nijmegen, The Netherlands, 27th May 2008.
Last updated 18th March 2024.