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
Author | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr> |
---|---|
License | LGPL-2.1-only |
Published | |
Homepage | https://github.com/backtracking/ocaml-hashcons |
Issue Tracker | https://github.com/backtracking/ocaml-hashcons/issues |
Maintainer | Jean-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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hashcons/hashcons.1.4.0/opam |
Required by
- dns>=0.17.0 & <4.0.0
- electrod
- pa_ppx_hashcons
- term-indexing
- tezos-benchmark
- vpnkit>=0.1.1