{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:53:45Z","timestamp":1743040425183,"version":"3.40.3"},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_10","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"148-162","source":"Crossref","is-referenced-by-count":0,"title":["Type Classes are Signatures of Abstract Types"],"prefix":"10.1007","author":[{"given":"Konstantin","family":"L\u00e4ufer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"273","volume-title":"Proc. Functional Programming and Computer Architecture","author":"P Canning","year":"1989","unstructured":"P. Canning, W. Cook, W. Hill, W. Olthoff, and J. Mitchell. F-bounded polymorphism for object-oriented programming. In Proc. Functional Programming and Computer Architecture, pages 273\u2013280, 1989."},{"issue":"8","key":"10_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0167-6423(87)90019-0","volume":"9","author":"L Cardelli","year":"1987","unstructured":"L. Cardelli. Basic polymorphic typechecking. Science of Computer Programming, 9 (8): 147\u2013172, 1987.","journal-title":"Science of Computer Programming"},{"issue":"4","key":"10_CR3","first-page":"471","volume":"17","author":"L Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 17 (4): 471\u2013522, Dec. 1985.","journal-title":"Dec"},{"issue":"4","key":"10_CR4","first-page":"305311","volume":"32","author":"W. Cook","year":"1989","unstructured":"W. Cook. A proposal for making Eiffel type-safe. Computer Journal,32(4):305311, 1989.","journal-title":"Computer Journal"},{"key":"10_CR5","first-page":"127","volume-title":"Proc. SIGPLAN90 Conf. on Programming Language Design and Implementation","author":"G Cormack","year":"1990","unstructured":"G. Cormack and A. Wright. Type-dependent parameter inference. In Proc. SIGPLAN\u201990 Conf. on Programming Language Design and Implementation, pages 127\u2013136, White Plains, NY, June 1990."},{"key":"10_CR6","first-page":"207","volume-title":"Proc. 9th Annual Acm Symp. on Principles of Programming Languages","author":"L Damas","year":"1982","unstructured":"L. Damas and R. Milner. Principal type schemes for functional programs. In Proc. 9th Annual ACM Symp. on Principles of Programming Languages, pages 207\u2013212, Jan. 1982."},{"key":"10_CR7","volume-title":"Proc. 18th Acm Symp. on Principles of Programming Languages (POPL)","author":"F Henglein","year":"1991","unstructured":"F. Henglein and H. Mairson. The complexity of type inference for higher-order typed lambda calculi. In Proc. 18th ACM Symp. on Principles of Programming Languages (POPL), Orlando, Florida, Jan. 1991."},{"key":"10_CR8","first-page":"131","volume-title":"Proc. 2nd European Symosium on Programming, Lecture Notes in Computer Science, Vol. 300","author":"S Kaes","year":"1988","unstructured":"S. Kaes. Parametric overloading in polymorphic programming languages. In H. Ganzinger, editor, Proc. 2nd European Symosium on Programming, Lecture Notes in Computer Science, Vol. 300, pages 131\u2013144, Nancy, France, March 1988. Springer-Verlag."},{"key":"10_CR9","unstructured":"K. L\u00e4ufer and M. Odersky. Type inference for an object-oriented extension of ML. NYU-CIMS Report, New York University, Department of Computer Science, in preparation."},{"key":"10_CR10","first-page":"277","volume-title":"Proc. 13th Acm Symp. on Principles of Programming Languages","author":"D Macqueen","year":"1986","unstructured":"D. MacQueen. Using dependent types to express modular structure. In Proc. 13th ACM Symp. on Principles of Programming Languages, pages 277\u2013286. ACM, Jan. 1986."},{"key":"10_CR11","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. J. Computer and System Sciences, 17: 348\u2013375, 1978.","journal-title":"J. Computer and System Sciences"},{"key":"10_CR12","volume-title":"Mit Press","author":"R Milner","year":"1990","unstructured":"R. Milner, M. Tofte., and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"J. Mitchell, S. Meldal, and N. Madhay. An extension of Standard ML modules with subtyping and inheritance. In Proc. ACM Symp. on Principles of Programming LanguagesJan. 1991.","DOI":"10.1145\/99583.99620"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"J. Mitchell and G. Plotkin. Abstract Types have Existential Type. InProc. 12th ACM Symp. on Principles of Programming Languagespages 37\u201351. ACM, Jan. 1985.","DOI":"10.1145\/318593.318606"},{"key":"10_CR15","volume-title":"Type classes and overloading resolution via order-sorted unification. Technical Report PI-R8\/90","author":"T Niphow","year":"1990","unstructured":"T. Niphow and G. Snelting. Type classes and overloading resolution via order-sorted unification. Technical Report PI-R8\/90, Technische Hochschule Darmstadt, Praktische Informatik, July 1990."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"J. Palsberg and M. Schwartzbach. Type substitution for object-oriented programming. In N. Meyrowitz, editor,Proc. Conf. Object-Oriented Programming: Systems Languages and Applications and European Conf. on Object-Oriented Programmingpages 151\u2013160, Ottawa, Canada, Oct. 1990. ACM Press.","DOI":"10.1145\/97946.97965"},{"key":"10_CR17","first-page":"424","volume-title":"Proc. Object-Oriented Programming: Languages, Systems and Applications","author":"D Sandberg","year":"1986","unstructured":"D. Sandberg. An alternative to subclassing. In Proc. Object-Oriented Programming: Languages, Systems and Applications, pages 424\u2013428, 1986."},{"key":"10_CR18","first-page":"615","volume-title":"Proc. Intl Conf. on Algorithms, Languages and Programming","author":"S Thatte","year":"1988","unstructured":"S. Thatte. Type inference with partial types. In Proc. Intl Conf. on Algorithms, Languages and Programming, pages 615\u2013629, 1988."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad hoc. In Proc. 16th Annual ACM Symp. on Principles of Programming Languages,pages 6076. ACM, Jan. 1989.","DOI":"10.1145\/75277.75283"}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T21:17:43Z","timestamp":1676841463000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_10","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}