package hashcons
OCaml hash-consing library
Install
Dune Dependency
Authors
Maintainers
Sources
hashcons-1.4.0.tbz
sha256=73827f0a841f5aa2643263b88c2023d2d8668fda5dee0537de26f96d0f1ca3c2
sha512=4402d085679336985c6ab031fa7f58a6026279d22488f2c332314faccaee9ae12b33c42adab72eae533febd947061c10646ebb4fa78515fb721064e142860eb7
Description
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
Published: 01 Feb 2024
README
ocaml-hashcons
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.
https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf
Note: a different, more elaborated hash-consing library can be found in Why3 sources at https://gitlab.inria.fr/why3/why3
Dev Dependencies (1)
-
odoc
with-doc
Used by (7)
-
dns
>= "0.17.0" & < "4.0.0" - electrod
- pa_ppx_hashcons
- term-indexing
- term-tools
- tezos-benchmark
-
vpnkit
>= "0.1.1"
Conflicts
None