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