INRIA Sophia Antipolis


What is CtCaml?

CtCaml provides a working environment for the caml language. This environment has been developed using the Centaur system, a generic interactive programming environment generator. CtCaml has the following characteristics: Type checking functionalities presented in the CtCaml environment are experimental and must been seen as examples of what added value type information can bring to a programming environment.

To know more about CtCaml, you may also want to have a look at the report ``Interactive Programming Environment for ML'' report.

General Information

CtCaml profits from work done on programming environments, in particular the Centaur system, developed in the  CROAP group  at INRIA Sophia Antipolis.

Laurence Rideau/ INRIA Sophia Antipolis /