Summer School on Generic and Effectful Programming

St Anne's College, Oxford, 6th to 10th July 2015

Embedded Domain-Specific Languages in Idris

Edwin Brady (University of St Andrews)

Worst-case Efficient Generic Functional Programming on Bulk Data

Fritz Henglein (University of Copenhagen)

Applying Type-level and Generic Programming in Haskell

Andres Löh (Well-Typed)

Datatypes of Datatypes

Conor McBride (University of Strathclyde)

Containers for Effects and Contexts

Tarmo Uustalu (Tallinn University of Technology)