{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:00Z","timestamp":1742617080802,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:57:10Z","timestamp":1330199830000},"page":"131-144","source":"Crossref","is-referenced-by-count":33,"title":["Parametric overloading in polymorphic programming languages"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Kaes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"unstructured":"A.V. Aho, R. Sethi and J.D. Ullman: Compilers: Principles, Techniques, and Tools, p384, 1986.","key":"9_CR1"},{"issue":"4","key":"9_CR2","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1145\/6465.20890","volume":"8","author":"R. Bahlke","year":"1986","unstructured":"R. Bahlke and G. Snelting: The PSG-System: From Formal Language Definitions to Interactive Programming Environments, TOPLAS 8,4, p547\u2013576, October 1986.","journal-title":"TOPLAS"},{"unstructured":"R. Burstall, D.B. MacQueen and D. Sanella: HOPE: An Experimental Applicative Language, 1st International LISP Conference, Stanford 1986.","key":"9_CR3"},{"key":"9_CR4","first-page":"194","volume":"88","author":"M. Coppo","year":"1980","unstructured":"M. Coppo: An Extended Polymorphic Type System for Applicative Languages, LNCS 88, p194\u2013204, September 1980.","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"L. Damas and R.Milner: Principal Type Schemes for Functional Programs, IX POPL, p207, January 1982.","key":"9_CR5","DOI":"10.1145\/582153.582176"},{"doi-asserted-by":"crossref","unstructured":"D. Clement, J. Despeyroux, T. Despeyroux and G. Kahn: A simple applicative language: Mini-ML, 1986 ACM Symposium on LISP and Functional Programming, p13\u201327, 1986.","key":"9_CR6","DOI":"10.1145\/319838.319847"},{"doi-asserted-by":"crossref","unstructured":"Y. Fuh and P. Mishra: Type Inference With Subtypes, Manuscript, SUNY at Stony Brook, July 1987.","key":"9_CR7","DOI":"10.1007\/3-540-19027-9_7"},{"unstructured":"M. J\u00e4ger, M. Gloger and S. Kaes: SAMPLE \u2014 A Functional Language, Report PI-R5\/87, TH-Darmstadt, Fachbereich Informatik.","key":"9_CR8"},{"unstructured":"S. Kaes: Parametric Overloading in Polymorphic Programming Languages, Report PI-R7\/87, TH-Darmstadt, Fachbereich Informatik.","key":"9_CR9"},{"unstructured":"T. Letschert: Typinferenzsysteme, Doctoral Thesis, TH Darmstadt, Fachbereich Informatik, 1986.","key":"9_CR10"},{"issue":"3","key":"9_CR11","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner: A Theory of Type Polymorphism in Programming, JCCS 17,3, p348\u2013375, 1978.","journal-title":"JCCS"},{"doi-asserted-by":"crossref","unstructured":"R. Milner: A Proposal for Standard ML, 1984 ACM Symposium on LISP and Functional Programming, p184\u2013197, Austin, August 1984.","key":"9_CR12","DOI":"10.1145\/800055.802035"},{"doi-asserted-by":"crossref","unstructured":"J.C. Mitchell: Coercion and Type Inference, XI POPL, p175\u2013185, 1984.","key":"9_CR13","DOI":"10.1145\/800017.800529"},{"doi-asserted-by":"crossref","unstructured":"D.B. MacQueen, G.D. Plotkin and R. Sethi: An Ideal Model for Recursive Polymorphic Types, XI POPL, p165\u2013174, 1984.","key":"9_CR14","DOI":"10.1145\/800017.800528"},{"key":"9_CR15","volume-title":"Fundamental Concepts in Programming Languages","author":"C. Strachey","year":"1967","unstructured":"C. Strachey: Fundamental Concepts in Programming Languages, International Summer School in Computer Programming, Kopenhagen 1967."},{"doi-asserted-by":"crossref","unstructured":"D.A. Turner: Miranda: A non-strict Functional Language with Polymorphic Types, LNCS 201, September 1985.","key":"9_CR16","DOI":"10.1007\/3-540-15975-4_26"}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:42:37Z","timestamp":1742589757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}