hashconsversion

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

AuthorJean-Christophe Filliatre
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Published
Homepagehttps://github.com/backtracking/ocaml-hashcons
Issue Trackerhttps://github.com/backtracking/ocaml-hashcons/issues
Maintainersheets@alum.mit.edu
Dependencies
Source [http] https://github.com/backtracking/ocaml-hashcons/archive/1.2.tar.gz
sha256=de48e8e3e19b8cf84fb4d8d2484f0bb44dc6ced160b0d22b74d4de7236c821bb
md5=3febf305ffbdd31d6de92c42d382a09e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/hashcons/hashcons.1.2/opam
Required by