package hashcons

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

Dependencies (2)

  1. ocaml >= "4.12"
  2. dune >= "2.7"

Dev Dependencies (1)

  1. odoc with-doc

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