Index


Les cibles de publication

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

Conférences internationales

Revues nationales

Conférences nationales


Les langages fonctionnels typés

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).

Standard ML

Résumé :
Le langage fonctionnel typé de référence.

CAML

Résumé :
Le langage fonctionnel français, dans la tradition de Standard ML.

Les langages fonctionnels non typés

APL

Résumé :
Un langage fonctionnel spécialisé dans la manipulation de tableaux. L'un des ancêtres des langages fonctionnels d'aujourd'hui.

LISP


Les langages parallèles

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.

Autres points d'entrée


Les langages à objets

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).

Les langages impératifs classiques

ADA


Autres points d'entrée


Philippe REITZ (reitz@lirmm.fr)