Chaque cible est précédée d'une
indication du type [n], où n est un nombre compris
entre 1 et 5,
proportionnel à la cote scientifique de la publication.
Cette indication est purement subjective,
mais reflète tout de même un certain consensus des
communautés concernées.
Revues internationales
- [3] ACM Computing Surveys.
Conférences internationales
- [5] FPCA : Functional Programming and
Computer Architecture (FCPA'95).
- [?] OOPSLA : Object-Oriented Programming Systems, Languages and Applications.
- [5] PLDI : Programming Language Design and Implementation (PLDI'95)
- [5] POPL : Principles Of Programming Languages (POPL'95).
Revues nationales
- [5] TSI : Techniques et Sciences de l'Informatique.
Conférences nationales
- [3] RPO : Représentations Par Objets.
Quelques points d'entrée sur les Langages Fonctionnels :
HASKELL
- Résumé :
- Langage fonctionnel de la dernière génération.
Né en 1987, il intègre toutes les avancées de la
communauté : une syntaxe concise (empruntée à Miranda),
une évaluation paresseuse, une définition des listes en
compréhension, des entrées-sorties purement fonctionnelles,
un mécanisme de gestion de la surcharge (les classes).
- Le site de référence du langage.
- Les environnements HBC (Chalmers University)
ou GHC (Glasgow University)
- L'interpréteur HUGS, compatible avec les spécifications Haskell 1.3 et au-delà.
Standard ML
- Résumé :
- Le langage fonctionnel typé de référence.
- Actes de 1994 d'un séminaire de travail autour de ML (ACM-SIGPLAN)
- Résumé :
- Le langage fonctionnel français, dans la tradition de Standard ML.
APL
- Résumé :
- Un langage fonctionnel spécialisé dans la manipulation de
tableaux. L'un des ancêtres des langages fonctionnels d'aujourd'hui.
- Le dialecte J, de
Waterloo Univ.
- Les informations maintenues par le SIGAPL (Special Interest Group on APL).
LISP
- Le compilateur-interpréteur LeLisp de ILOG.
8,5
- Résumé :
- Un langage prototype fait pour la simulation des systèmes dynamiques.
ERLANG
- Résumé :
- Un langage fonctionnel parallèle exploité à Ericsson.
OZ
- Résumé :
- Un langage fonctionnel parallèle.
- Le serveur du langage : Oz
Autres points d'entrée
C++
- Résumé :
- L'assembleur des langages à objets.
Eiffel
- Résumé :
- Un langage qui combine l'efficacité des langages compilés et
la pureté objet (tout est objet).
Smalltalk
- Résumé :
- LE langage à objets par excellence.
Y3
- Résumé :
- Un langage à prototypes (Yafool) construit au dessus de LeLisp,
disposant d'un héritage multiple. Environnement graphique (Yafen) et
moteur d'inférence d'ordre 1 type Prolog (Yaflog).
ADA
- Les outils GNU de New York University
- Le serveur ADA de l'EPFL (Suisse).
- Les informations maintenues par le SIGADA (Special Interest Group on ADA).
Philippe REITZ (reitz@lirmm.fr)