Here are some things I did at Utrecht University. The list is unstructured and incomplete, but I need a place to store stuff so that I can find it back later in life…

• Presentation on HaRe 0.3 — February 25th, 2008
  A mini talk about HaRe, the Haskell Refactorer as part of the course Advanced Functional Programming.

• Presentation on Eleminators in Agda — October 2nd, 2008
  A talk by Mathijs Swint and myself for the course Depedently Typed Programming.

• Presentation on LINQ in .NET — May 15th, 2008
  A talk on Language Integrated Query in .NET for the Software Technology Colloquium.

• Running Haskell on the CLR (using UHC) — January 29th, 2009
  A talk by Jeroen Leeuwestein and myself on the experimental .NET backend for the Utrecht Haskell Compiler.