{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:04Z","timestamp":1751662864990},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122507"},{"type":"electronic","value":"9783642122514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12251-4_4","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T23:32:42Z","timestamp":1270855962000},"page":"24-39","source":"Crossref","is-referenced-by-count":5,"title":["A Church-Style Intermediate Language for ML F"],"prefix":"10.1007","author":[{"given":"Didier","family":"R\u00e9my","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Yakobowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984), ISBN: 0-444-86748-1"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/351240.351247","volume-title":"ICFP 2000: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming","author":"K. Crary","year":"2000","unstructured":"Crary, K.: Typed compilation of inclusive subtyping. In: ICFP 2000: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pp. 68\u201381. ACM, New York (2000)"},{"unstructured":"Herms, P.: Partial Type Inference with Higher-Order Types. Master\u2019s thesis, University of Pisa and INRIA (2009) (to appear)","key":"4_CR3"},{"doi-asserted-by":"crossref","unstructured":"Le Botlan, D.: MLF: An extension of ML with second-order polymorphism and implicit instantiation. PhD thesis, Ecole Polytechnique (June 2004) (english version)","key":"4_CR4","DOI":"10.1145\/944705.944709"},{"doi-asserted-by":"crossref","unstructured":"Le Botlan, D., R\u00e9my, D.: MLF: Raising ML to the power of System-F. In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, August 2003, pp. 27\u201338 (2003)","key":"4_CR5","DOI":"10.1145\/944746.944709"},{"unstructured":"Le Botlan, D., R\u00e9my, D.: Recasting MLF. Research Report 6228, INRIA, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France (June 2007)","key":"4_CR6"},{"key":"4_CR7","volume-title":"The International Conference on Functional Programming (ICFP 2007)","author":"D. Leijen","year":"2007","unstructured":"Leijen, D.: A type directed translation of MLF to System\u00a0F. In: The International Conference on Functional Programming (ICFP 2007). ACM Press, New York (2007)"},{"key":"4_CR8","first-page":"66","volume-title":"Proceedings of the 36th annual ACM Symposium on Principles of Programming Languages (POPL 2009)","author":"D. Leijen","year":"2009","unstructured":"Leijen, D.: Flexible types: robust type inference for first-class polymorphism. In: Proceedings of the 36th annual ACM Symposium on Principles of Programming Languages (POPL 2009), pp. 66\u201377. ACM, New York (2009)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/1086365.1086385","volume-title":"ICFP 2005: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming","author":"D. Leijen","year":"2005","unstructured":"Leijen, D., L\u00f6h, A.: Qualified types for MLF. In: ICFP 2005: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pp. 144\u2013155. ACM Press, New York (2005)"},{"issue":"76","key":"4_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0890-5401(88)90009-0","volume":"2\/3","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell, J.C.: Polymorphic type inference and containment. Information and Computation\u00a02\/3(76), 211\u2013249 (1988)","journal-title":"Information and Computation"},{"key":"4_CR11","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"S.P. Jones","year":"2003","unstructured":"Jones, S.P.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003), ISBN: 0521826144"},{"unstructured":"R\u00e9my, D., Yakobowski, B.: A church-style intermediate language for MLF (extended version) (September 2008a), http:\/\/gallium.inria.fr\/~remy\/mlf\/xmlf.pdf","key":"4_CR12"},{"doi-asserted-by":"crossref","unstructured":"R\u00e9my, D., Yakobowski, B.: From ML to MLF: Graphic type constraints with efficient type inference. In: The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008), Victoria, BC, Canada, September 2008, pp. 63\u201374 (2008b)","key":"4_CR13","DOI":"10.1145\/1411204.1411216"},{"unstructured":"Yakobowski, B.: Graphical types and constraints: second-order polymorphism and inference. PhD thesis, University of Paris 7 (December 2008)","key":"4_CR14"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12251-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T19:03:29Z","timestamp":1635188609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12251-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122507","9783642122514"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12251-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}