I gave a presentation on type error diagnosis for domain-specific languages at Curry On Prague, a wonderful venue for all things programming language. You can find the on-line
video right here.
I am on the Steering Comittee of the ETAPS symposia, representing the EAPLS (the European Association of Programming Languages and
type and effect systems for (lazy) functional languages
feedback oriented static analysis with a focus on functional languages
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 of PEPM 2017 to be held in Paris, co-located with POPL 2017
PC member of PADL 2017 to be held in Paris, co-located with POPL 2017