The authors taught this functional programming course. Plenty of slides and supplementary material organized by chapter:
http://www.cl.cam.ac.uk/teaching/1314/L26/materials.html
That looks very interesting, thank you.
The POPL14 paper linked on the page goes into detail.
The authors taught this functional programming course. Plenty of slides and supplementary material organized by chapter:
http://www.cl.cam.ac.uk/teaching/1314/L26/materials.html
That looks very interesting, thank you.
The POPL14 paper linked on the page goes into detail.