Second International Summer School on Metaprogramming

Schloss Dagstuhl, 11th to 16th August 2019

Preparation: software to install

Building Languages with Racket

Matthew Flatt (University of Utah)

Meta-F*: efficient meta-programming of the F* compiler at every stage

Jonathan Protzenko (Microsoft Research)

Exploring Universes

Conor McBride (University of Strathclyde)

Programming with nominal techniques

Jamie Gabbay (University of Strathclyde)

From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation

Oleg Kiselyov (Tohoku University, Japan)

Steps towards structured multi-stage programming

Jeremy Yallop (University of Cambridge)