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 |