hashcons

Author Jean-Christophe Filliatre
License LGPL-2.1 with OCaml linking exception
Homepage https://github.com/backtracking/ocaml-hashcons
Issue Tracker https://github.com/backtracking/ocaml-hashcons/issues
Maintainer sheets@alum.mit.edu
Dependencies
& conf-autoconf
conf-which
ocamlfind
Published Mar 31, 2016
Source [http] http://github.com/backtracking/ocaml-hashcons/archive/1.2.tar.gz
3febf305ffbdd31d6de92c42d382a09e
Statistics Installed 113 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/hashcons/hashcons.1.2/opam

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. The PDF is available at https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf

Necessary for
dns
>= 0.17.0