Program chair ::
2009 ACM-SIGPLAN Workshop on ML (ML 2009) :: Edinburgh, Scotland, UK
--------
Member of the committee for ACM-SIGPLAN Dissertation Award
--------
Member of program committee ::
2009 ACM-SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2009) :: Savannah, Georgia, USA
--------
Member of program committee ::
4th Computer Science Symposium in Russia (CSR 2009) :: Novosibirsk, Russia
--------
Member of program committee ::
2005 ACM-SIGPLAN Workshop on ML (ML 2005) :: Tallinn, Estonia
--------
Member of program committee ::
Second International Mozart/Oz Conference (MOZ 2004) :: Louvain, Belgium
--------
External reviewer for conferences and journals :: POPL, PLDI, ESOP, ICFP, PPDP, PADL, MFPS, JFP
--------
Alice ML, a language for
typed open programming, i.e., with support for type-safe dynamic linking, dynamic export, concurrency and distribution. This also was the topic of my
PhD thesis.
--------
HaMLet, a model implementation of
Standard ML. I try to maintain a list of
defects and ambiguities in the language's specification.
--------
SML and OCaml, side by side, a quick
chart comparing the syntax of Standard ML and Objective Caml (the most visited of my pages).
--------
ICFP Programming Contest, together with different colleagues I participated in several contests as team "Helikopter" (named after the famous "Helikopter-Streichquartett" by Karlheinz Stockhausen). We were astonished when we won the Judge's Prize in
2000!
--------
Together with
Martin Sulzmann from Uni Singapore and the Chameleon team I worked a bit on the overloading framework based on
constraint handling rules and the
Chameleon language.
--------
M, a purely functional, higher-order module language that I co-designed and implemented as a graduate student (now long dead).
--------
Sartre, not done by me, but remains my favorite programming language of all time.
--------