{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T20:30:00Z","timestamp":1769718600288,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T00:00:00Z","timestamp":1327363200000},"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":[[2012,1,24]]},"DOI":"10.1145\/2103776.2103779","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T16:47:19Z","timestamp":1327423639000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Dependent interoperability"],"prefix":"10.1145","author":[{"given":"Peter-Michael","family":"Osera","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vilhelm","family":"Sj\u00f6berg","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 4th conference on USENIX Tcl\/Tk Workshop","author":"Beazley D. M.","year":"1996"},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Multi-Language Infrastructure and Interoperability (BABEL)","author":"Blume M.","year":"2001"},{"key":"e_1_3_2_1_4_1","volume-title":"International Workshop on Implementation of Functional Languages(IFL)","author":"Chakravarty M. M. T.","year":"1999"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086375"},{"key":"e_1_3_2_1_6_1","volume-title":"IEEE International Symposium on Secure Software Engineering","author":"G.","year":"2006"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581484"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111059"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706341"},{"key":"e_1_3_2_1_11_1","first-page":"93","volume-title":"Scheme and Functional Programming Workshop","author":"Gronski J.","year":"2006"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706333"},{"key":"e_1_3_2_1_13_1","unstructured":"X. Leory D. Doligez A. Frisch J. Garrigue D. R\u00e9my and J. Vouillon. The Objective Caml system release 3.12. 2010.  X. Leory D. Doligez A. Frisch J. Garrigue D. R\u00e9my and J. Vouillon. The Objective Caml system release 3.12. 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69407-6_39"},{"key":"e_1_3_2_1_15_1","volume-title":"Addison Wesley","author":"Liang S.","year":"1999"},{"key":"e_1_3_2_1_16_1","volume-title":"Prentice Hall","author":"Lindholm T.","year":"1999"},{"key":"e_1_3_2_1_17_1","unstructured":"S. Marlow. Haskell 2010 Language Report.  S. Marlow. Haskell 2010 Language Report."},{"key":"e_1_3_2_1_18_1","first-page":"16","volume-title":"17th European conference on Programming languages and systems, ESOP'08\/ETAPS'08","author":"Matthews J.","year":"2008"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498926.1498930"},{"key":"e_1_3_2_1_20_1","unstructured":"C. McBride. Ornamental algebras algebraic ornaments. 2010.  C. McBride. Ornamental algebras algebraic ornaments. 2010."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317791"},{"key":"e_1_3_2_1_22_1","volume-title":"Sweden","author":"Norell U.","year":"2007"},{"key":"e_1_3_2_1_23_1","volume-title":"University of Pennsylvania","author":"Osera P.-M.","year":"2011"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8141-3_34"},{"key":"e_1_3_2_1_25_1","first-page":"24","volume-title":"Proceedings of the Fourth Workshop on Scheme and Functional Programming","author":"Meunier D. S. P.","year":"2003"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582449"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.713327"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1789277.1789293"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481848.1481856"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80453-0"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1057"},{"key":"e_1_3_2_1_32_1","unstructured":"T. C. D. Team. The coq proof assistant: Reference manaul 2010. URL http:\/\/coq.inria.fr\/refman\/  T. C. D. Team. The coq proof assistant: Reference manaul 2010. URL http:\/\/coq.inria.fr\/refman\/"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706343"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Philadelphia Pennsylvania USA","acronym":"POPL '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the sixth workshop on Programming languages meets program verification"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103776.2103779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103776.2103779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:35Z","timestamp":1750241195000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103776.2103779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,24]]},"references-count":34,"alternative-id":["10.1145\/2103776.2103779","10.1145\/2103776"],"URL":"https:\/\/doi.org\/10.1145\/2103776.2103779","relation":{},"subject":[],"published":{"date-parts":[[2012,1,24]]},"assertion":[{"value":"2012-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}