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
The source code cldim.tar.gz for 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: