implementation/formalisation of research work

implementation/formalisation of teaching material

astrds: an incomplete 2d space game

astrds is an intentionally incomplete 2d space game written in Haskell. The code is intended to be a playground for Haskell programmers who want to add their own features and extensions. The implementation is based on SDL and OpenGL and includes simple audio and joystick support.

Source code (Cabal source package): download at

start game game gameover

Tenth ICFP Programming Contest

I was a member of the organising team of the Tenth ICFP Programming Contest . The prequel can be followed in this blog . Thanks to all the people who tried to morph and save Endo!

Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeu\-ring, Andres L\"oh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara L\"oh.
Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming .
© ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in James Hook and Peter Thiemann, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008, Victoria, BC, Canada, September 22–24, 2008, pages 397–408,

\Lambda ...

I designed a Lambda cartoon character, living in the universe of functional programming. For example, I created the drawings in the thesis of Andres Löh.

Valid HTML 4.01! Valid CSS!