Summer School on Generic and Effectful Programming
St Anne's College, Oxford, 6th to 10th July 2015
![](stannes2.jpg)
![](balliol2.jpg)
![](oxford2.jpg)
Embedded Domain-Specific Languages in Idris
Worst-case Efficient Generic Functional Programming on Bulk Data
- Lecture 1 (slides)
- Lecture 2 (slides)
- Generic top-down discrimination for sorting and partitioning in linear time
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products