Advanced Functional Programming http://www.cl.cam.ac.uk/teaching/1415/L28/materials.html лекции по системе типов камля с уклоном в матан, свежатинка, с гадтами и staging'ом