Talks

Polymorphic Dynamics for the Masses.
Dutch Haskell User Group Meeting (Utrecht, the Netherlands, July 14th, 2011). [slides]

Of Headaches and Aspirin.
Dutch Haskell User Group Meeting (Utrecht, the Netherlands, June 15th, 2011). [slides]

From Trees to Graphs and Back Again.
Dutch FP Day 2011 (Enschede, the Netherlands, January 7th, 2011). [slides]

Simplifying the Hard Part of Multicore: Partitioning Code.
Embedded Live 2010 (London, England, UK, October 20th, 2010). [slides]

Why Haskell Does Not Matter.
Dutch HUG Day 2010 (Nieuwegein, the Netherlands, April 24th, 2010). [slides]

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation.
Vector Fabrics Colloquium (Eindhoven, the Netherlands, April 9th, 2010). [slides]

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation.
LDTA 2010. (Paphos, Cyprus, March 27th, 2010). [slides]

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation.
Software Technology Colloquium (Utrecht, the Netherlands, February 25th, 2010). [slides]

Making “Stricterness” More Relevant.
Software Technology Colloquium (Utrecht, the Netherlands, January 28th, 2010). [slides]

Making “Strictnernes” More Relevant.
PEPM 2010 (Madrid, Spain, January 19th, 2010). [slides]

Spreading the Joy: Making “Stricterness” More Relevant.
Software Technology Colloquium (Utrecht, the Netherlands, June 18th, 2009). [slides]

A Lightweight Approach to Datatype-Generic Rewriting.
Software Technology Colloquium (Utrecht, the Netherlands, September 25th, 2008). [slides]

Heap Recycling for Lazy Languages.
PEPM 2008 (San Francisco, California, USA, January 8th, 2008). [slides]

A Generic Usage Analysis with Subeffect Qualifiers.
ICFP 2007 (Freiburg, Germany, October 3th, 2007). [slides]

Generic Views.
Software Technology Colloquium (Utrecht, the Netherlands, January 5th, 2005). [slides]