@inproceedings{fbecd27245d44710b43f1b311bc95b4a,
title = "Type-safe modular hash-consing",
abstract = "Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamental operations and data structures by several orders of magnitude when sharing is maximal. This paper introduces an OCAML hash-consing library that encapsulates hash-consed terms in an abstract datatype, thus safely ensuring maximal sharing. This library is also parameterized by an equality that allows the user to identify terms according to an arbitrary equivalence relation.",
keywords = "Data structures, Hash-consing, Sharing",
author = "Filli{\^a}tre, \{Jean Christophe\} and Sylvain Conchon",
year = "2006",
month = sep,
day = "16",
doi = "10.1145/1159876.1159880",
language = "English",
isbn = "1595934839",
series = "Proceedings of the ACM SIGPLAN 2006 Workshop on ML",
publisher = "Association for Computing Machinery (ACM)",
pages = "12--19",
booktitle = "Proceedings of the ACM SIGPLAN 2006 Workshop on ML",
note = "2006 ACM SIGPLAN Workshop on ML, ML 2006 ; Conference date: 16-09-2006 Through 16-09-2006",
}