* [Caml-list] Dynamic contract checking for OCaml
@ 2011-04-29 20:39 na.xu
0 siblings, 0 replies; only message in thread
From: na.xu @ 2011-04-29 20:39 UTC (permalink / raw)
To: caml-list
Dear All,
I have implemented a prototype that does dynamic contract checking
for OCaml code. The prototype is built upon the source code of
ocamlc-3.11.2. Please see a tutorial for the details:
http://gallium.inria.fr/~naxu/research/camlcontract.pdf
This document also describes where to access the source code.
If you are interested in co-improving it or have any comments, please
feel free to drop me an email.
Best regards,
Dana.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-04-29 20:39 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-04-29 20:39 [Caml-list] Dynamic contract checking for OCaml na.xu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox