Join ARMACAD Today

Join over 100,000 researchers, students and professionals.

Subscribe and get new opportunities every day.

Sign Up

Summer School on Generic and Effectful Programming, 6 - 10 July 2015, St Anne's College, Oxford, UK


June 21, 2015

Event Date:

July 06, 2015 - July 10, 2015

Opportunity Cover Image - Summer School on Generic and Effectful Programming, 6 - 10 July 2015, St Anne's College, Oxford, UK


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

School: 6th to 10th July 2015, St Anne's College (directions)

Dinner: 8th July 2015, Balliol College (directions)


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#.


Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of £135, and B&B accommodation in college will be £75(ensuite) or £48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis.

Further information

For further information, please contact Elizabeth Walsh.

Host Country
Publish Date
May 07, 2015


Subscribe to our newsletter

and receive information about international academic and professional opportunities

scholarships, summer schools, conferences, grants, fellowships, trainings

Sign Up