Projet de maîtrise : Caml-Light avec dimensions

[English] [Index]

Ce projet consiste à ajouter des dimensions aux types de données de Caml-Light, en modifiant le compilateur. Ce projet a été réalisé sous la direction de Roberto Dicosmo

Mon rapport

Le code source cldim.tar.gz pour Caml Light 0.7

Le patch à partir de Caml Light 0.7

Le code source cldim74.tar.gz pour Caml Light 0.74

On peut aussi récupérer tout ceci sur le serveur de l'INRIA.

Articles sur ce sujet :

Bruno Blanchet