{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T04:05:32Z","timestamp":1791345932711,"version":"4.3.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T00:00:00Z","timestamp":1221955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,9,21]]},"DOI":"10.1145\/1411304.1411308","type":"proceedings-article","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T13:39:01Z","timestamp":1222177141000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Hashconsing in an incrementally garbage-collected system"],"prefix":"10.1145","author":[{"given":"Pascal","family":"Cuoq","sequence":"first","affiliation":[{"name":"Commissariat a l'Energie Atomique, Saclay, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Damien","family":"Doligez","sequence":"additional","affiliation":[{"name":"Instritut National de Recherche en Informatique et Automatique, Rocquencourt, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,9,21]]},"reference":[{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming, number 528","author":"Andrew","year":"1991","unstructured":"Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In J. Maluszy\u0144ski and M. Wirsing, editors , Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming, number 528 , pages 1 -- 13 . Springer Verlag , 1991 . URL citeseer.ist.psu.edu\/appel91standard.html. Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In J. Maluszy\u0144ski and M. Wirsing, editors, Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming, number 528, pages 1--13. Springer Verlag, 1991. URL citeseer.ist.psu.edu\/appel91standard.html."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/359460.359470"},{"key":"e_1_3_2_1_4_1","volume-title":"USA","author":"Beazley David","year":"1999","unstructured":"David Beazley and Guido Van Rossum . Python; Essential Reference . New Riders Publishing, Thousand Oaks, CA , USA , 1999 . ISBN 0735709017. David Beazley and Guido Van Rossum. Python; Essential Reference. New Riders Publishing, Thousand Oaks, CA, USA, 1999. ISBN 0735709017."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Richard\n      Bonichon David\n      Delahaye and \n      Damien\n      Doligez\n    . Zenon\n   : \n  An extensible automated theorem prover producing checkable proofs\n  . In Nachum Dershowitz and Andrei Voronkov editors LPAR volume \n  4790\n   of \n  Lecture Notes in Computer Science pages \n  151\n  --\n  165\n  . \n  Springer 2007\n  . ISBN 9783540755586.   Richard Bonichon David Delahaye and Damien Doligez. Zenon : An extensible automated theorem prover producing checkable proofs. In Nachum Dershowitz and Andrei Voronkov editors LPAR volume 4790 of Lecture Notes in Computer Science pages 151--165. Springer 2007. ISBN 9783540755586.","DOI":"10.1007\/978-3-540-75560-9_13"},{"key":"e_1_3_2_1_6_1","volume-title":"D\u00e9veloppement d'applications avec Objective Caml. O'Reilly","author":"Chailloux Emmanuel","year":"2000","unstructured":"Emmanuel Chailloux , Pascal Manoury , and Bruno Pagano . D\u00e9veloppement d'applications avec Objective Caml. O'Reilly , 2000 . Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano. D\u00e9veloppement d'applications avec Objective Caml. O'Reilly, 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Orna Grumberg , and Doron A. Peled . Model Checking . The MIT Press , 1999 . Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, 1999."},{"key":"e_1_3_2_1_8_1","volume-title":"The Alt-Ergo automatic theorem prover","author":"Conchon Sylvain","year":"2006","unstructured":"Sylvain Conchon and Evelyne Contejean . The Alt-Ergo automatic theorem prover , 2006 . URL http:\/\/altergo.lri.fr\/. Sylvain Conchon and Evelyne Contejean. The Alt-Ergo automatic theorem prover, 2006. URL http:\/\/altergo.lri.fr\/."},{"key":"e_1_3_2_1_9_1","volume-title":"Efficient hash-consing of recursive types","author":"Considine Jeffrey","year":"2000","unstructured":"Jeffrey Considine . Efficient hash-consing of recursive types , 2000 . URL http:\/\/citeseer.ist.psu.edu\/article\/rey00ecient.html. Jeffrey Considine. Efficient hash-consing of recursive types, 2000. URL http:\/\/citeseer.ist.psu.edu\/article\/rey00ecient.html."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159880"},{"key":"e_1_3_2_1_13_1","volume-title":"Frama-C: Framework for modular analysis of C","author":"C","year":"2008","unstructured":"Frama- C development team. Frama-C: Framework for modular analysis of C , 2008 . URL http:\/\/frama-c.cea.fr\/. Frama-C development team. Frama-C: Framework for modular analysis of C, 2008. URL http:\/\/frama-c.cea.fr\/."},{"key":"e_1_3_2_1_14_1","volume-title":"Java Language Specification","author":"Gosling James","year":"2000","unstructured":"James Gosling , Bill Joy , Guy Steele , and Gilad Bracha . Java Language Specification , Second Edition : The Java Series. Addison Wesley Longman Publishing Co. , Inc., Boston, MA, USA, 2000 . ISBN 0201310082. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. Java Language Specification, Second Edition: The Java Series. Addison Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000. ISBN 0201310082."},{"key":"e_1_3_2_1_16_1","volume-title":"Data Types and Implementation","author":"Haible Bruno","year":"2005","unstructured":"Bruno Haible . Weak References , Data Types and Implementation , 2005 . URL http:\/\/www.haible.de\/bruno\/papers\/cs\/weak\/WeakDatastructures-writeup.html. Bruno Haible. Weak References, Data Types and Implementation, 2005. URL http:\/\/www.haible.de\/bruno\/papers\/cs\/weak\/WeakDatastructures-writeup.html."},{"key":"e_1_3_2_1_17_1","volume-title":"The Objective Caml system, release 1.07, Documentation and user's manual","author":"Leroy Xavier","year":"1997","unstructured":"Xavier Leroy . The Objective Caml system, release 1.07, Documentation and user's manual , 1997 . URL http:\/\/caml.inria.fr\/pub\/distrib\/ocaml-1.07\/ocaml-1.07-refman.txt. Xavier Leroy. The Objective Caml system, release 1.07, Documentation and user's manual, 1997. URL http:\/\/caml.inria.fr\/pub\/distrib\/ocaml-1.07\/ocaml-1.07-refman.txt."},{"key":"e_1_3_2_1_18_1","volume-title":"The Objective Caml system, release 3.10, Documentation and user's manual","author":"Leroy Xavier","year":"2007","unstructured":"Xavier Leroy , Damien Doligez , Jacques Garrigue , Didier R\u00e9my , and J\u00e9r\u00f4me Vouillon . The Objective Caml system, release 3.10, Documentation and user's manual , 2007 . URL http:\/\/caml.inria.fr\/pub\/distrib\/ocaml-3.10\/ocaml-3.10-refman.txt. Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f4me Vouillon. The Objective Caml system, release 3.10, Documentation and user's manual, 2007. URL http:\/\/caml.inria.fr\/pub\/distrib\/ocaml-3.10\/ocaml-3.10-refman.txt."},{"key":"e_1_3_2_1_19_1","volume-title":"a weak hash table library for OCaml","author":"Weaktbl Zheng Li.","year":"2007","unstructured":"Zheng Li. Weaktbl , a weak hash table library for OCaml , 2007 . http:\/\/www.pps.jussieu.fr\/~li\/software\/weaktbl\/README. Zheng Li. Weaktbl, a weak hash table library for OCaml, 2007. http:\/\/www.pps.jussieu.fr\/~li\/software\/weaktbl\/README."},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-46425-5_18","volume-title":"European Symposium on Programming (ESOP","author":"Mauborgne Laurent","year":"2000","unstructured":"Laurent Mauborgne . Improving the representation of infinite trees to deal with sets of trees . In G. Smolka, editor, European Symposium on Programming (ESOP 2000 ), volume 1782 of Lecture Notes in Computer Science , pages 275 -- 289 . Springer-Verlag , 2000. Laurent Mauborgne. Improving the representation of infinite trees to deal with sets of trees. In G. Smolka, editor, European Symposium on Programming (ESOP 2000), volume 1782 of Lecture Notes in Computer Science, pages 275--289. Springer-Verlag, 2000."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68979-9_10"},{"key":"e_1_3_2_1_22_1","first-page":"77","volume-title":"Workshop on ML","author":"Okasaki Chris","year":"1998","unstructured":"Chris Okasaki and Andrew Gill . Fast mergeable integer maps . In Workshop on ML , pages 77 -- 86 , 1998 . URL http:\/\/citeseer.ist.psu.edu\/okasaki98fast.html. Chris Okasaki and Andrew Gill. Fast mergeable integer maps. In Workshop on ML, pages 77--86, 1998. URL http:\/\/citeseer.ist.psu.edu\/okasaki98fast.html."},{"key":"e_1_3_2_1_23_1","first-page":"37","volume-title":"Implementation of Functional Languages","author":"Peyton-Jones Simon L.","year":"1999","unstructured":"Simon L. Peyton-Jones , Simon Marlow , and Conal Elliott . Stretching the storage manager: Weak pointers and stable names in haskell . In Implementation of Functional Languages , pages 37 -- 58 , 1999 . URL http:\/\/citeseer.ist.psu.edu\/peytonjones99stretching.html. Simon L. Peyton-Jones, Simon Marlow, and Conal Elliott. Stretching the storage manager: Weak pointers and stable names in haskell. In Implementation of Functional Languages, pages 37--58, 1999. URL http:\/\/citeseer.ist.psu.edu\/peytonjones99stretching.html."},{"key":"e_1_3_2_1_24_1","unstructured":"Fran\u00e7ois Pottier and Yann R\u00e9gis-Gianas. Menhir December 2005. URL http:\/\/cristal.inria.fr\/~fpottier\/menhir\/.  Fran\u00e7ois Pottier and Yann R\u00e9gis-Gianas. Menhir December 2005. URL http:\/\/cristal.inria.fr\/~fpottier\/menhir\/."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC'97)","author":"Shao Zhong","year":"1997","unstructured":"Zhong Shao . An overview of the FLINT\/ML compiler . In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC'97) , Amsterdam, The Netherlands , June 1997 . Zhong Shao. An overview of the FLINT\/ML compiler. In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC'97), Amsterdam, The Netherlands, June 1997."},{"key":"e_1_3_2_1_26_1","volume-title":"File Allocation Table","year":"2008","unstructured":"Wikipedia. File Allocation Table , 2008 . URL http:\/\/en.wikipedia.org\/wiki\/File_Allocation_Table. Wikipedia. File Allocation Table, 2008. URL http:\/\/en.wikipedia.org\/wiki\/File_Allocation_Table."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645648.664824"}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","location":"Victoria BC Canada","acronym":"ICFP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2008 ACM SIGPLAN workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411304.1411308","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411304.1411308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:29Z","timestamp":1750253369000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411304.1411308"}},"subtitle":["a story of weak pointers and hashconsing in ocaml 3.10.2"],"short-title":[],"issued":{"date-parts":[[2008,9,21]]},"references-count":25,"alternative-id":["10.1145\/1411304.1411308","10.1145\/1411304"],"URL":"https:\/\/doi.org\/10.1145\/1411304.1411308","relation":{},"subject":[],"published":{"date-parts":[[2008,9,21]]},"assertion":[{"value":"2008-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}