My master's project : Caml-Light with dimensions

[Français] [Index]

This project consists in adding dimensions to data types in the Caml-Light compiler. This project has been carried out under Roberto Dicosmo's supervision

My report (in French)

The source code cldim.tar.gz for Caml Light 0.7

The patch from Caml-Light 0.7

The source code cldim74.tar.gz for Caml Light 0.74

You can also get this on the INRIA server

Articles about that subject:


Bruno Blanchet