Opam Package hashcons.1.3

Package info

opam-namehashcons
opam-version1.3
synopsisOCaml hash-consing library
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>
authors
  • Jean-Christophe Filliatre
homepagehttps://github.com/backtracking/ocaml-hashcons
licenseLGPL-2.1-only with OCaml-LGPL-linking-exception
deps (4)
revdeps (2)
metas (1)
libraries(0)

Package modules

Package sources

hashcons

Package files

lib/hashcons/hashcons.o
lib/hashcons/hashcons.mli
lib/hashcons/hashcons.cmx
lib/hashcons/hashcons.cmo
lib/hashcons/hashcons.cmi
lib/hashcons/META
lib/hashcons