hashcons

AuthorJean-Christophe Filliatre
LicenseLGPL-2.1 with OCaml linking exception
Homepagehttps://github.com/backtracking/ocaml-hashcons
Issue Trackerhttps://github.com/backtracking/ocaml-hashcons/issues
Maintainersheets@alum.mit.edu
Dependencies
&conf-which
ocamlfind
PublishedJun 22, 2015
Source [http] https://github.com/dsheets/ocaml-hashcons/releases/download/1.0.1/ocaml-hashcons-1.0.1.tar.gz
caa6378c30d69baaf703e5f8b903a493
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/hashcons/hashcons.1.0.1/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
vpnkit