Bibliographie

(en cours de rédaction)

, par Pierre

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.

Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]