{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300387,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:09:18Z","timestamp":1330258158000},"page":"272-280","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Efficient type reconstruction in the presence of inheritance"],"prefix":"10.1007","author":[{"given":"Marcin","family":"Benke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Kim Bruce and John C. Mitchell. Per models of subtyping, recursive types and higher-order polymorphism. In Conf. Rec. ACM Symp. Principles of Programming Languages, 1992.","DOI":"10.1145\/143165.143230"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach. Efficient inference of partial types. Technical Report DAIMI PB-394, Computer science Dept., Aarhus University, April 1992.","DOI":"10.7146\/dpb.v21i394.6629"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Patrick Lincoln and John C. Mitchell. Algorithmic aspects of type inference with subtypes. In Conf. Rec. ACM Symp. Principles of Programming Languages, pages 293\u2013304, 1992.","DOI":"10.1145\/143165.143227"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"John C. Mitchell. Coercion and type inference. In Conf. Rec. ACM Symp. Principles of Programming Languages, pages 175\u2013185, 1984.","DOI":"10.1145\/800017.800529"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF02582962","volume":"1","author":"P. Nevermann","year":"1985","unstructured":"P. Nevermann and I. Rival. Holes in ordered sets. Graphs and Combinatorics, (1):339\u2013350, 1985.","journal-title":"Graphs and Combinatorics"},{"key":"19_CR6","unstructured":"Benjamin C. Pierce and David N. Turner. Object-oriented programming without recursive types. Technical Report ECS-LFCS-92-225, LFCS, University of Edinburgh, August 1992."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Jerzy Tiuryn. Subtype inequalities. In Proc. 7th IEEE Symp. Logic in Computer Science, pages 308\u2013315, 1992.","DOI":"10.1109\/LICS.1992.185543"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Jerzy Tiuryn and Mitchell Wand. Type reconstruction with recursive types and atomic subtyping. In M.-C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT'93: Theory and Practice of Software Development, LNCS 668, pages 686\u2013701, 1993.","DOI":"10.1007\/3-540-56610-4_98"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"M. Wand and Patrick O'Keefe. On the complexity of type inference with coercion. In Proc. ACM Conf. Functional Programming and Computer Architecture, 1989.","DOI":"10.1145\/99370.99394"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:00:32Z","timestamp":1742594432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_19"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}