package hashcons
OCaml hash-consing library
Install
Dune Dependency
Authors
Maintainers
Sources
1.3.tar.gz
sha256=59c72966f48ea67c694dd49099eca180b52d3da81d4300172ace6edb4a5d72ce
md5=88b93515dd2667c4944574dfb50352bf
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: 25 Sep 2017
Dependencies (4)
-
conf-which
build -
ocamlfind
build -
conf-autoconf
build - ocaml
Dev Dependencies
None
Used by (6)
Conflicts
None
On This Page