{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:28:07Z","timestamp":1764782887912,"version":"build-2065373602"},"reference-count":24,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4288,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s1571-0661(05)80453-0","type":"journal-article","created":{"date-parts":[[2005,4,27]],"date-time":"2005-04-27T07:41:43Z","timestamp":1114587703000},"page":"53-72","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":9,"title":["ILX: Extending the .NET Common IL for Functional Language Interoperability"],"prefix":"10.1016","volume":"59","author":[{"given":"Don","family":"Syme","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80453-0_BIB1","series-title":"3rd ACM SIGPLAN International Conference on Functional Programming","article-title":"Compiling Standard ML to Java bytecodes","author":"Benton","year":"1998"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB2","article-title":"Java needs compound types","author":"B\u00fcchi","year":"1998","journal-title":"Technical Report 182, Turku Centre for Computer Science"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB3","series-title":"Object-Oriented Programming: Systems, Languages, Applications (OOPSLA),","article-title":"Compatible genericity with run-time types for the Java programming language","author":"Cartwright","year":"1998"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB4","unstructured":"Microsoft Corporation. The .NET Common Language Runtime. See website at http:\/\/msdn.microsoft.com\/net\/."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB5","series-title":"International Colloquium on Automata, Languages, and Programming","first-page":"40","article-title":"Type structure for low-level programming langauges","author":"Crary","year":"1999"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB6","unstructured":"R. DeLine and M. F\u00e4hndrich. The Vault Project. See website at http:\/\/research.microsoft.com\/projects\/Vault."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB7","unstructured":"M. DePristo and P. Surana. The HotDog Scheme compiler. See website at http:\/\/rover.cs.nwu.edu\/~scheme."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB8","unstructured":"T. Dowd and F. Henderson. The .NET Common Language Runtime Mercury Compiler. See website at http:\/\/www.cs.mu.oz.au\/research\/mercury\/."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB9","series-title":"25th Annual ACM Symposium on Principles of Programming Languages","first-page":"527","article-title":"From System F to typed assembly language","author":"Morrisett","year":"1998"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB10","series-title":"27th Annual ACM Symposium on Principles of Programming Languages","article-title":"Typing a multi-language intermediate code","author":"Gordon","year":"2001"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB11","series-title":"European Symposium On Programming, number 788 in LNCS","first-page":"241","article-title":"Type classes in Haskell","author":"Hall","year":"1994"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB12","series-title":"Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California","first-page":"341","article-title":"Higher-order modules and the phase distinction","author":"Harper","year":"1990"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB13","unstructured":"A. Hejlsberg and S. Wiltamuth. C# language reference. See http:\/\/msdn.microsoft.com\/vstudio\/."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB14","unstructured":"S.L. Peyton Jones and many others. The Glasgow Haskell Compiler. See website at http:\/\/www.haskell.org\/ghc."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB15","unstructured":"S.L. Peyton Jones, P.L. Wadler, and many others. The Haskell 98 report. See website at http:\/\/www.haskell.org."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB16","series-title":"ACM-SIGPLAN 2001 Conference on Programming Language Design and Implementation","article-title":"Design and Implementation of Generics for the .NET Common Language Runtime","author":"Kennedy","year":"2001"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB17","series-title":"19th Annual ACM Symposium on Principles of Programming Languages","first-page":"177","article-title":"Unboxed objects and polymorphic typing","author":"Leroy","year":"1992"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB18","unstructured":"Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rmy, and Jrme Vouillon. The Objective Caml system users' manual. See website at http:\/\/caml.inria.fr."},{"year":"1999","series-title":"The Java Virtual Machine Specification","author":"Lindholm","key":"10.1016\/S1571-0661(05)80453-0_BIB19"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB20","series-title":"23rd Annual ACM Symposium on Principles of Programming Languages","first-page":"271","article-title":"Typed closure conversion","author":"Minamide","year":"1996"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB21","series-title":"24th Annual ACM Symposium on Principles of Programming Languages","first-page":"146","article-title":"Pizza into Java: Translating theory into practice","author":"Odersky","year":"1997"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB22","series-title":"1999 International Conference on Principles and Practice of Declarative Programming","article-title":"Non-Dependent Types for Standard ML Modules","author":"Russo","year":"1999"},{"key":"10.1016\/S1571-0661(05)80453-0_BIB23","unstructured":"G. Stolpmann. The JavaCaml bytecode interpreter. See website at http:\/\/www.ocaml-programming.de\/javacaml."},{"key":"10.1016\/S1571-0661(05)80453-0_BIB24","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1017\/S0956796898003086","article-title":"From ML to Ada: Strongly-typed language interoperability via source translation","volume":"8","author":"Tolmach","year":"1998","journal-title":"Journal of Functional Programming"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804530?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804530?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:00Z","timestamp":1761610020000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105804530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S1571066105804530"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80453-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2001,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"ILX: Extending the .NET Common IL for Functional Language Interoperability","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80453-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2001 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}