package hashcons
OCaml hash-consing library
Install
Dune Dependency
Authors
Maintainers
Sources
1.2.tar.gz
sha256=de48e8e3e19b8cf84fb4d8d2484f0bb44dc6ced160b0d22b74d4de7236c821bb
md5=3febf305ffbdd31d6de92c42d382a09e
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: 04 Apr 2016
Dependencies (4)
-
conf-which
build
-
ocamlfind
build
-
conf-autoconf
build
- ocaml
Dev Dependencies
None
Used by (5)
-
dns
>= "0.17.0" & < "4.0.0"
- electrod
- pa_ppx_hashcons
- tezos-benchmark
-
vpnkit
>= "0.1.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page