{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:06Z","timestamp":1750309446293,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swiss National Science Foundation","award":["TMAG-2_209506\\\/1"],"award-info":[{"award-number":["TMAG-2_209506\\\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3687997.3695633","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T10:57:44Z","timestamp":1729162664000},"page":"190-195","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Method Bundles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0299-3993","authenticated-orcid":false,"given":"Dimi","family":"Racordon","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3677-001X","authenticated-orcid":false,"given":"Dave","family":"Abrahams","sequence":"additional","affiliation":[{"name":"Adobe, San Jose, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley. isbn:0-201-10088-6 https:\/\/www.worldcat.org\/oclc\/12285707"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5381\/jot.2004.3.9.a2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/2103656.2103722"},{"key":"e_1_3_2_1_4_1","volume-title":"International Workshop on Aliasing, Capabilities and Ownership (IWACO)","author":"Racordon Dimi","year":"2023","unstructured":"Dimi Racordon and Dave Abrahams. 2023. Borrow checking Hylo. International Workshop on Aliasing, Capabilities and Ownership (IWACO)"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.5381\/jot.2022.21.2.a2"},{"issue":"2","key":"e_1_3_2_1_6_1","first-page":"2","article-title":"Linear Types can Change the World!. In Programming concepts and methods","volume":"2","author":"Wadler Philip","year":"1990","unstructured":"Philip Wadler. 1990. Linear Types can Change the World!. In Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990, Manfred Broy and Cliff B. Jones (Eds.). North-Holland, 561.","journal-title":"Proceedings of the IFIP Working Group"}],"event":{"sponsor":["SIGPLAN SIGPLAN"],"acronym":"SLE '24","name":"SLE '24: 17th ACM SIGPLAN International Conference on Software Language Engineering","location":"Pasadena CA USA"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695633","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3687997.3695633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:58Z","timestamp":1750295398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695633"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":6,"alternative-id":["10.1145\/3687997.3695633","10.1145\/3687997"],"URL":"https:\/\/doi.org\/10.1145\/3687997.3695633","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}