Summer School on Generic and Effectful Programming

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

Dinner

When: Wed, 8th July

6:30pm drinks reception
7:15pm dinner

Where: Balliol College (directions).

Lectures

Mon 6 July

9:00-10:30
Applying Type-level and Generic Programming in Haskell

(Andres Löh)

11:00-12:30
Embedded Domain-Specific Languages in Idris

(Edwin Brady)

14:00-15:30
Containers for Effects and Contexts

(Tarmo Uustalu)

16:00-17:30
Worst-case Efficient Generic Functional Programming on Bulk Data

(Fritz Henglein)
Tue 7 July

9:00-10:30
Embedded Domain-Specific Languages in Idris

(Edwin Brady)

11:00-12:30
Datatypes of Datatypes

(Conor McBride)

14:00-15:30
Containers for Effects and Contexts

(Tarmo Uustalu)

16:00-17:30
Worst-case Efficient Generic Functional Programming on Bulk Data

(Fritz Henglein)
Wed 8 July

9:00-10:30
Applying Type-level and Generic Programming in Haskell

(Andres Löh)

11:00-12:30
Compile-time Meta-programming for the Information-rich World

(Don Syme)

14:00-15:30
Containers for Effects and Contexts

(Tarmo Uustalu)
Thu 9 July

9:00-10:30
Embedded Domain-Specific Languages in Idris

(Edwin Brady)

11:00-12:30
Datatypes of Datatypes

(Conor McBride)

14:00-15:30
Compile-time Meta-programming for the Information-rich World

(Don Syme)

16:00-17:30
Worst-case Efficient Generic Functional Programming on Bulk Data

(Fritz Henglein)
Fri 10 July

9:00-10:30
Applying Type-level and Generic Programming in Haskell

(Andres Löh)

11:00-12:30
Datatypes of Datatypes

(Conor McBride)