improved README

backtracking · Sep 9, 2013 · 00b4ecc · 00b4ecc
1 parent 6bc2560
commit 00b4ecc
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -2,3 +2,15 @@ ocaml-hashcons
 ==============
 
 OCaml hash-consing library
+
+The technique is described in this paper:
+
+  Sylvain Conchon and Jean-Christophe Filliâtre.
+  Type-Safe Modular Hash-Consing.
+  In ACM SIGPLAN Workshop on ML, Portland, Oregon, September 2006.
+
+  https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf
+
+
+Note: a different, more elaborated hash-consing library
+      can be found in Why3 sources at http://why3.lri.fr/