- Thesis – Strictness Optimization in a Typed Intermediate Language — August 26th, 2010
My Master’s thesis, for the Software Technology Master at Utrecht University. I worked on the implementation of several static optimizations in the Utrecht Haskell Compiler. Also see the presentation of the thesis.
- 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.
- 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.
- Presentation on HaRe 0.3 — February 25th, 2008
A mini talk about HaRe, the Haskell Refactorer as part of the course Advanced Functional Programming.
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…