{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:13Z","timestamp":1772163973293,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T00:00:00Z","timestamp":1168992000000},"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":[[2007,1,17]]},"DOI":"10.1145\/1190216.1190220","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T15:41:00Z","timestamp":1175787660000},"page":"3-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":87,"title":["Operational semantics for multi-language programs"],"prefix":"10.1145","author":[{"given":"Jacob","family":"Matthews","sequence":"first","affiliation":[{"name":"University of Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,1,17]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/1085114.1085118"},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Scheme and Functional Programming","author":"Barzilay E.","year":"2004","unstructured":"E. Barzilay and D. Orlovsky. Foreign interface for PLT Scheme. In Workshop on Scheme and Functional Programming, 2004.]]"},{"key":"e_1_3_2_1_4_1","unstructured":"D. Beazley. Pointers constraints and typemaps. In SWIG 1.1 Users Manual. Available online: http:\/\/www.swig.org\/Doc1.1\/HTML\/Typemaps.html.]]"},{"key":"e_1_3_2_1_5_1","first-page":"129","volume-title":"4th Tcl\/Tk Workshop","author":"Beazley D.","year":"1996","unstructured":"D. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++. In 4th Tcl\/Tk Workshop, pages 129--139, 1996. Available online: http:\/\/www.swig.org\/papers\/Tcl96\/tcl96.html.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005398"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317791"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013987"},{"key":"e_1_3_2_1_9_1","volume-title":"Workshop on Multi-Language Infrastructure and Interoperability (BABEL)","author":"Blume M.","year":"2001","unstructured":"M. Blume. No-longer-foreign: Teaching an ML compiler to speak C \"natively\". In Workshop on Multi-Language Infrastructure and Interoperability (BABEL), 2001.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/21998.22000"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/647978.743363"},{"key":"e_1_3_2_1_12_1","volume-title":"The Haskell 98 foreign function interface 1.0","author":"Chakravarty M. M. T.","year":"2002","unstructured":"M. M. T. Chakravarty. The Haskell 98 foreign function interface 1.0, 2002. Available online: http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi\/.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"Department of Computer Science and Engineering","author":"C. Chambers and The Cecil Group","year":"2004","unstructured":"C. Chambers and The Cecil Group. The Cecil language: Specification and rationale, version 3.2. Technical report, Department of Computer Science and Engineering, University of Washington, February 2004. Available online: http:\/\/www.cs.washington.edu\/research\/projects\/cecil\/pubs\/cecil-spec.html.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90036-W"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_16"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317790"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80450-5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065019"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360228"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094830"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00004-2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224203"},{"key":"e_1_3_2_1_27_1","unstructured":"Jython. http:\/\/www.jython.org\/.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"A. Kennedy. Securing the .NET programming model. Theoretical Computer Science To appear. http:\/\/research.microsoft.com\/~akenn\/sec\/.]] 10.1016\/j.tcs.2006.08.014","DOI":"10.1016\/j.tcs.2006.08.014"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80451-7"},{"key":"e_1_3_2_1_30_1","volume-title":"Workshop on Scheme and Functional Programming","author":"Matthews J.","year":"2005","unstructured":"J. Matthews and R. B. Findler. An operational semantics for R5RS Scheme. In Workshop on Scheme and Functional Programming, 2005.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25979-4_21"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680011"},{"key":"e_1_3_2_1_33_1","first-page":"24","volume-title":"Proceedings of the Fourth Workshop on Scheme and Functional Programming","author":"Meunier P.","year":"2003","unstructured":"P. Meunier and D. Silva. From Python to PLT Scheme. In Proceedings of the Fourth Workshop on Scheme and Functional Programming, pages 24--29, 2003.]]"},{"key":"e_1_3_2_1_34_1","unstructured":"M. Odersky P. Altherr V. Cremet B. Emir S. Micheloud N. Mihaylov M. Schinz E. Stenman and M. Zenger. An Introduction to Scala. http:\/\/scala.epfl.ch\/docu\/files\/ScalaIntro.pdf 2005.]]"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158529"},{"key":"e_1_3_2_1_36_1","volume-title":"Workshop on Scheme and Functional Programming","author":"Pinto P.","year":"2003","unstructured":"P. Pinto. Dot-Scheme: A PLT Scheme FFI for the .NET framework. In Workshop on Scheme and Functional Programming, November 2003.]]"},{"key":"e_1_3_2_1_37_1","first-page":"223","volume-title":"Theoretical Computer Science","author":"Plotkin G. D.","year":"1977","unstructured":"G. D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, pages 223--255, 1977.]]"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582449"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/858570.858571"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173714"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/832257.833066"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651891"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317799"}],"event":{"name":"POPL07: The 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Nice France","acronym":"POPL07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1190216.1190220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1190216.1190220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:47:42Z","timestamp":1750243662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1190216.1190220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,17]]},"references-count":41,"alternative-id":["10.1145\/1190216.1190220","10.1145\/1190216"],"URL":"https:\/\/doi.org\/10.1145\/1190216.1190220","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1190215.1190220","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,1,17]]},"assertion":[{"value":"2007-01-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}