International Summer School on Metaprogramming

Robinson College, Cambridge, 8th to 12th August 2016

Self-Specialising Interpreters and Partial Evaluation

Chris Seaton

Generic programming

José Pedro Magalhães

The highs and lows of macros in a modern language

Laurence Tratt

Normalisation and embedding

Philip Wadler Sam Lindley Shayan Najd

Multi-stage programming / staging generic programming

Jeremy Yallop

Foundations of meta-programming

Martin Berger

A reflection on types / Template Haskell 14 years on

Simon Peyton Jones

Lightning talks

Miëtek Bak Kwanghoon Choi Artúr Poór Aggelos Biboudis Martin Lester L. Thomas van Binsbergen Michael Ballantyne Paul Laforgue