project on Service Extraction from Decomposed Software Monoliths in the Financial Domain (ServiciFi) (NWO Jacquard 5th round, 2010). Two Ph D students, supervised together with Slinger Jansen. (Ph D candidates Amir Saeidi and Ravi Khadka).
project on Scriptable Compilers (NWO Open Competition Spring 2004) The Ph D candidate for this proposal was Stefan Holdermans
Bastiaan Heeren worked on improving type error messages for Haskell 98. He got his Ph D in 2005. You can find him here
Current and future activities
PC member and co-Chair of TFP 2015, at INRIA Sophia Antipolis, France.
General Chair of TFP 2014, to be held in Soesterberg, the Netherlands
PC co-Chair of PEPM 2014, usually co-located with POPL 2014, San Diego, USA.