package hashcons

  1. Overview
  2. Docs
OCaml hash-consing library

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (4)

Authors

  1. J
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>

Maintainers

  1. J
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>

Sources

hashcons-1.4.0.tbz
sha256=73827f0a841f5aa2643263b88c2023d2d8668fda5dee0537de26f96d0f1ca3c2
sha512=4402d085679336985c6ab031fa7f58a6026279d22488f2c332314faccaee9ae12b33c42adab72eae533febd947061c10646ebb4fa78515fb721064e142860eb7

README.md.html

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