package hashcons
OCaml hash-consing library
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-hashcons-1.0.1.tar.gz
sha256=83095625159c9267f330141c8079d71c5a60bc02e82c0bef4ead79a90b0b8b59
md5=caa6378c30d69baaf703e5f8b903a493
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: 23 Jun 2015
Dependencies (4)
- conf-autoconf
-
conf-which
build -
ocamlfind
build -
ocaml
< "5.0"
Dev Dependencies
None
Used by (5)
-
dns
>= "0.17.0" & < "4.0.0" - electrod
- pa_ppx_hashcons
- tezos-benchmark
- vpnkit
Conflicts
None
On This Page