Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects.
This summer school is the closing activity of the EPSRC-funded project "Unifying Theories of Generic Programming" at Oxford University.
Register via the Oxford University On-line Store.
Dates and venues
Registration deadline: 21st June 2015
The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#.
Further informationFor further information, please contact Elizabeth Walsh.
This opportunity has expired. It was originally published here: