Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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