Bibliographie

Livres de référence

– Benjamin C. Pierce, Types and Programming Languages, MIT Press, 645 pages, Jan 2002.
– Jean-Yves Girard, Yves Lafont, Paul Taylor, Proofs and Types, Cambridge University Press, 183 pages, 1989. disponible en pdf
– Robert Harper, Practical Foundations for Programming Languages, Cambridge University Press, 592 pages, 2013. Disponible en ligne : disponible en pdf
– Niel Jones, Computability and Complexity, MIT Press, 466 pages, Jan 1997.
– John Mitchell, Concepts in Programming Languages, Cambridge University Press, 540 pages, Oct 2012.
– Peter Van Roy and Seif Haridi, Concepts, Techniques, and Models of Computer Programming, MIT Press, 936 pages, Feb 2004. Voir aussi l’article paradigms for dummies.

Cours en lignes

– Dan Grossman, Cours en ligne Programming Languages, actuellement sur Coursera https://class.coursera.org/proglang..., 2013.

Autres livres intéressants

– Conrad Barsky, Land of Lisp : learn to program in Lisp, one game at a time !, No Starch Press, 482 pages. Page promotionnelle (aver BD) : http://landoflisp.com.
– Douglas Crockford, Javascript the good parts, O’Reilly Media / Yahoo Press, 172 pages, May 2008.

Articles de référence

– Peter Van Roy, Programming Paradigms for Dummies : What every Programmer Should Know (chapitre de livre), pdf. Poster des concepts (en) existe en français.

Autres articles intéressants

– John Reynolds, The Discoveries of Continuations, Lisp and symbolic computation journal, Volume 6, Number 1-2, pages 233-247, 1993. pdf ?.
– Bjarne Stroustrup, A history of C++ : 1979-1991, 55 pages, pdf.

Vidéo et autres récréations

– Vidéo de Yaron Minsky Caml Trading
– Animation code swarm (originale) sur Python vimeo version html5/svg (d3.js) sur clojure artzub.com.