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.