La philosophie de Haskell et des langages purement fonctionnels : le monde des monades et ses abysses
Le lambda-calcul (Lambda Calculus) et les origines de la programmation fonctionnelle : De la théorie d'Alonzo Church à Lisp et Haskell