package hashcons

  1. Overview
  2. Docs
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)

  1. conf-which build
  2. ocamlfind build
  3. conf-autoconf build
  4. ocaml

Dev Dependencies

None

Used by (5)

  1. dns >= "0.17.0" & < "4.0.0"
  2. electrod
  3. pa_ppx_hashcons
  4. tezos-benchmark
  5. vpnkit >= "0.1.1"

Conflicts

None

OCaml

Innovation. Community. Security.