Links / Liens
Recherches sur Internet (Google)
Pour la science
La recherche
Bibliothèque nationale de France
Dictionnaire anglais Webster
Annuaire France Telecom
Linux kernel
Red Hat Linux
Le serveur de l'ENS
Serveur des élèves
Pages des élèves
Annuaire des élèves
La page du SPI
Bibliothèque de mathématiques
Recherche d'articles
Serveur bibliographique DBLP (Universite de Trier)
Computer Science Bibliographies (Karlsruhe)
CiteSeer X
Google Scholar
Pointeurs vers des articles de programmation fonctionnelle (et quelques autres)
Archive d'articles sur la programmation fonctionnelle
Questions courantes sur la programmation fonctionnelle
Journal of Functional Programming
Jean Goubault
(ou
ici
).
Thèse sur les programmes fonctionnels interactifs, Peter Achten
Bibliographie de Mitchell Wand
Bibliographie de Luca Cardelli
Richard Jones (auteur de Garbage Collection, Algorithms for Automatic Memory Management)
GC Faq
SML/NJ papers
ML for the Working Programmer, L. C. Paulson
Informations sur les processeurs
Intel
Sun Microelectronics
Conférences et séminaires
Séminaire de Sémantique et interprétation abstraite
(ENS Ulm)
Séminaire Complexité et Cryptographie
Séminaire du LSV
(ENS Cachan)
Caml
TP d'informatique en Caml en classe préparatoires
Laboratoires d'informatique
Notes de cours sur l'interprétation abstraite
Bruno Blanchet