{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:59:56Z","timestamp":1725627596577},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129059"},{"type":"electronic","value":"9783642693939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69393-9_4","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:20Z","timestamp":1320229160000},"page":"58-70","source":"Crossref","is-referenced-by-count":2,"title":["Type Inference in the Presence of Overloading, Polymorphism and Coercions"],"prefix":"10.1007","author":[{"given":"Th","family":"Letschert","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"207","volume-title":"Principal Type-Schemes for Functional Languages Proc. 9th Annual Principles of Programming Languages Symposium (POPL)","author":"L Oamas","year":"1982","unstructured":"L. Oamas, R. Milner Principal Type-Schemes for Functional Languages Proc. 9th Annual Principles of Programming Languages Symposium (POPL) 1982 pp. 207\u2013212"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/malq.19810270205","volume":"27","author":"M Coppo","year":"1981","unstructured":"M. Coppo, M. Deziani-Ciancaglini, B. Venneri Functional Characters of Solvable Terms Zeitschr. f. mathem. Logik und Gr\u00fcndl, der Mathematik 27, pp 45\u201358 (1981)","journal-title":"Logik und Gr\u00fcndl, der Mathematik"},{"key":"4_CR3","unstructured":"W. Henhapl, G. Snelting Context Relations - A Concept for Incremental Context Analysis in Program Fragments these proceedings"},{"key":"4_CR4","volume-title":"Type Inference in the Presence of Polymorphism, Overloading and Coercions Part I TH Darmstadt, FB Informatik, Report PU1R7-83","author":"T Letschert","year":"1983","unstructured":"T. Letschert Type Inference in the Presence of Polymorphism, Overloading and Coercions Part I TH Darmstadt, FB Informatik, Report PU1R7-83 (1983) Part II in preparation"},{"key":"4_CR5","first-page":"243","volume-title":"A Semantic Model of Types for Applicative Languages ACM Symp. on Lisp and Functional Programming","author":"DB McQueen","year":"1982","unstructured":"D.B. McQueen, R. Sethi A Semantic Model of Types for Applicative Languages ACM Symp. on Lisp and Functional Programming 1982 pp 243\u2013252"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"R. Milner A Theory of Type Polymorphism in Programming Languages. Journal of Comp, and System Science 17 pp 348\u2013375 (1978)","journal-title":"Journal of Comp, and System Science"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-10250-7_24","volume":"94","author":"JC Reynolds","year":"1980","unstructured":"J.C. Reynolds Using Category Theory to Design Implicit Conversions and Generic Operators Lecture Notes in Computer Science 94, pp 211\u2013258 (1980)","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR8","first-page":"245","volume-title":"International Symposium on Algorithmic Languages","author":"JC Reynolds","year":"1981","unstructured":"J.C. Reynolds The Essence of Algol in: International Symposium on Algorithmic Languages edited by deBakker and vanVliet, North-Holland Pub. Comp. (1981), pp 245\u2013372"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69393-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:47Z","timestamp":1606257227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69393-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129059","9783642693939"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69393-9_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}