[r2005-10-31 12:34:19 by afrisch] Empty log message

Original author: afrisch
Date: 2005-10-31 12:34:19+00:00

web/ocaml.xml

@@ -27,6 +27,12 @@ Frisch. Parts of the CDuce implementation, by the same author, have
 been reused.
 </p>
 
+<p>
+The theory behind OCamlDuce's type system is described in a <a
+href="http://cristal.inria.fr/~frisch/ocamlcduce/">technical
+report</a>.
+</p>
+
 </box>
 
 <box title="Download and installation" link="install">