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 <Jean-Christophe.Filliatre@cnrs.fr>
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/backtracking/ocaml-hashcons
Issue Trackerhttps://github.com/backtracking/ocaml-hashcons/issues
MaintainerJean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
Dependencies
Source [http] https://github.com/backtracking/ocaml-hashcons/releases/download/1.4.0/hashcons-1.4.0.tbz
sha256=73827f0a841f5aa2643263b88c2023d2d8668fda5dee0537de26f96d0f1ca3c2
sha512=4402d085679336985c6ab031fa7f58a6026279d22488f2c332314faccaee9ae12b33c42adab72eae533febd947061c10646ebb4fa78515fb721064e142860eb7
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/hashcons/hashcons.1.4.0/opam
Required by