{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:53Z","timestamp":1750221353727,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"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":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167243","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1022-1029","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["OOlong"],"prefix":"10.1145","author":[{"given":"Elias","family":"Castegren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"volume-title":"A List of Successes That Can Change the World","author":"Amin Nada","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","first-page":"253","article-title":"Secure Information Flow and Pointer Confinement in a Java-like Language","volume":"2","author":"Banerjee Anindya","year":"2002","journal-title":"CSFW"},{"volume-title":"MJ: An imperative core calculus for Java and Java with effects. Technical Report","year":"2003","author":"Bierman Gavin M","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"E. Castegren. 2017. Coq and Ott sources for OOlong. https:\/\/github.com\/EliasC\/oolong. (2017). GitHub repository.  E. Castegren. 2017. Coq and Ott sources for OOlong. https:\/\/github.com\/EliasC\/oolong. (2017). GitHub repository.","DOI":"10.1145\/3167132.3167243"},{"key":"e_1_3_2_1_6_1","unstructured":"E. Castegren and T. Wrigstad. 2016. Reference Capabilities for Concurrency Control. In ECOOP.  E. Castegren and T. Wrigstad. 2016. Reference Capabilities for Concurrency Control. In ECOOP."},{"volume-title":"Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant","author":"Chlipala A.","key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9153.001.0001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/286942.286947"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595733"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349328"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146811"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2318202.2318206"},{"volume-title":"Welterweight Java","author":"\u00d6stlund Johan","key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13953-6_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984022"},{"volume-title":"Chris Casinghino, Marco Gaboardi, Michael Greenberg, C\u01cet\u01celin Hritcu, Vilhelm Sj\u00f6berg, and Brent Yorgey.","year":"2017","author":"Pierce Benjamin C.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993518"},{"volume-title":"Black","year":"2003","author":"Sch\u00e4rli Nathanael","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291155"},{"key":"e_1_3_2_1_22_1","unstructured":"Marko van Dooren and Wouter Joosen. 2009. A modular type system for first-class composition inheritance. (2009).  Marko van Dooren and Wouter Joosen. 2009. A modular type system for first-class composition inheritance. (2009)."}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167243","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:05Z","timestamp":1750213565000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167243"}},"subtitle":["an extensible concurrent object calculus"],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":20,"alternative-id":["10.1145\/3167132.3167243","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167243","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}