12.6.16
A busy summer
- Joy of Coding, 17 June 2016, De Doelen, Rotterdam; keynote speaker.
- ACSD, 22—24 June 2016, Torun; keynote speaker.
- BETTY Summer School, 27 June—1 July 2016, Limassol, Cyprus; lecturer.
- International Summer School on Metaprogramming, 8—12 August 2016, Cambridge; lecturer.
- Lambda World, 1 October 2016, Cadiz; keynote speaker.
Hope to see you at one of these!
Labels: DSL, Functional Programming, Logic, Programming Languages, Session Types
