University 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… 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. Comments are closed.