La programmation applicative (de LISP à la machine en passant par le lambda-calcul)

La programmation applicative s'adresse à toute personne désireuse de connaître les fondements de l'informatique. Chaque chapitre étudie exhaustivement un concept important de la programmation, afin d'acquérir la maîtrise des langages de programmation dits applicatifs ou fonctionnels, dont l'ancêtre commun est LISP. Commençant par une initiation à la programmation, l'ouvrage se termine par le progamme d'un interprète LISP complet, après une excursion dans son modèle mathématique, le lambda-calcul.

1. Les applications de la fonction2. Les continuations de la fonction3. Les mémoires de la fonction4. Les conceptions de la fonction5. Epilogue et annexes6. Métabibliographie7. Index des notions, des notations8. Arbre des matières