Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Dynamic contract checking for OCaml

Dynamic contract checking for OCaml

A prototype that does dynamic contract checking for OCaml code. The prototype is built upon the source code of ocamlc-3.11.2.
Homepage ]
Author:Dana N. Xu.
Last modification date:04-Jul-2011
Development status:Beta
Kind: Patch
Topic: Software development :: Language extensions
Homepage:http://gallium.inria.fr/~naxu/research/camlcontract.pdf