International Summer School on Metaprogramming
Robinson College, Cambridge, 8th to 12th August 2016
Self-Specialising Interpreters and Partial Evaluation
Chris SeatonGeneric programming
José Pedro Magalhães- A generic deriving mechanism for Haskell
- A formal comparison of approaches to datatype-generic programming
The highs and lows of macros in a modern language
Laurence Tratt- The
Highs and Lows of Macros in a Modern Language.
During the presentations, the following programs were written:
Normalisation and embedding
Philip Wadler Sam Lindley Shayan NajdMulti-stage programming / staging generic programming
Jeremy Yallop- Multi-stage programming part I: Static and Dynamic
- Multi-stage programming part II: Effects and Sharing
Foundations of meta-programming
Martin BergerA reflection on types / Template Haskell 14 years on
Simon Peyton JonesLightning talks
Miëtek Bak Kwanghoon Choi Artúr Poór Aggelos Biboudis Martin Lester L. Thomas van Binsbergen- Reusable Components for Formal and Executable Language Specification
(from the PLanCompS project)