This morning I gave a keynote talk at Modularity 2014 about declarative meta-languages in Spoofax. The abstract of the talk was published in the proceedings.

Abstract: Effectively applying linguistic abstraction to emerging domains of computation requires the ability to rapidly develop software languages. However, a software language is a complex software system in its own right and can take significant effort to design and implement. We are currently investigating a radical separation of concerns in language definition by designing high-level declarative meta-languages specialized to the various concerns of language definition that can be used as the single source of production quality (incremental) semantic operations and as a model for reasoning about language properties.

Note that a considerable part of the talk consisted of demonstration, which is not reflected in the slides. I added the Spoofax project that I used in the demo to github.


The TU Delft Software Language Design and Engineering group at group meeting in April 2014.

Top row, left to right:

  • Vlad Vergu
  • Danny Groenewegen
  • Eduardo Amorim
  • Pierre Neron

Bottom row, left to right:

  • Eelco Visser
  • Augusto Passalaqua
  • Guido Wachsmuth
  • GabriĆ«l Konat


  • Elmer van Chastelet


The TU Delft Software Engineering Research Group in April 2014 group meeting

dick kieburtz

This portrait was taken on August 15, 2015 in Seattle where we were attending FLoC 2006. The caption on flickr reads:

Desert and coffee at copacabana cafe on Pike Place Market with Dick Kieburtz who is one of the earliest users of Stratego. He’s been working on a theorem prover for P logic, which is used for asserting properties of Haskell programs.


We held a memorial service for my father on February 8, 2014 at the International School of Philosophy in Amersfoort.

More pictures