Summer School on Generic and Effectful Programming
St Anne's College, Oxford, 6th to 10th July 2015
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