package hashcons

  1. Overview
  2. Docs
OCaml hash-consing library

Install

github.com Edit opam file

Authors

  1. J
    Jean-Christophe Filliatre

Maintainers

  1. S
    sheets@alum.mit.edu

Sources

1.3.tar.gz
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