Pôle "Interfaces et Environnements"

Environnement de programmation CAML

interaction sophistiquée avec le vérificateur de type

explication de l'inférence de types

utilisation du typage pour l'aide à la construction de programmes