{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:33:36Z","timestamp":1725485616980},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_18","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T23:02:49Z","timestamp":1181170969000},"page":"295-310","source":"Crossref","is-referenced-by-count":2,"title":["Finite Subtype Inference with Explicit Polymorphism"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, July 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken and E. Wimmers. Solving systems of set constraints. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 329\u2013340, June 1992.","DOI":"10.1109\/LICS.1992.185545"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"A. Aiken and E. Wimmers. Type inclusion constraints and type inference. In Proceedings of ACM Symposium on Functional Programming and Computer Architecture, pages 31\u201341, Copenhagen, Denmark, June 1993.","DOI":"10.1145\/165180.165188"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Francois Bourdoncle and Stephan Merz. Type checking higher-order polymorphic multimethods. In Proceedings of ACM Symposium on Principles of Programming Languages, 1997.","DOI":"10.1145\/263699.263743"},{"key":"18_CR5","unstructured":"Dominic Duggan. Object type constructors. In preparation. A preliminary version appeared in the Workshop on Foundations of Object-Oriented Languages, New Brunswick, New Jersey, July 1996."},{"key":"18_CR6","unstructured":"Dominic Duggan. Unification with extended patterns. Theoretical Computer Science, 1997. To appear."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Conference on Mathematical Foundations of Programming Semantics","author":"J. Eifrig","year":"1995","unstructured":"Jonathan Eifrig, Scott Smith, and V. Trifonov. Type inference for recursively constrained types and its application to oop. In Proceedings of the Conference on Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science. Springer-Verlag, 1995. To appear."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Matthias Felleisen. Componential set-based analysis. In Proceedings of ACMSIG-PLAN Conference on Programming Language Design and Implementation, 1997.","DOI":"10.1145\/258915.258937"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(90)90144-7","volume":"73","author":"Y.-C. Fuh","year":"1990","unstructured":"You-Chin Fuh and Prateek Mishra. Type inference with subtypes. Theoretical Computer Science, 73:155\u2013175, 1990.","journal-title":"Theoretical Computer Science"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Mark Jones. First-class polymorphism with type inference. In Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, January 1997.","DOI":"10.1145\/263699.263765"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796800000848","volume":"3","author":"X. Leroy","year":"1993","unstructured":"Xavier Leroy and Michel Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431\u2013463, 1993.","journal-title":"Journal of Functional Programming"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Patrick Lincoln and John C. Mitchell. Algorithmic aspects of type inference with subtypes. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 293\u2013304. ACM Press, 1992.","DOI":"10.1145\/143165.143227"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0747-7171(92)90011-R","volume":"14","author":"D. Miller","year":"1992","unstructured":"Dale Miller. Unification under a mixed prefix. Journal of Symbolic Computation, 14:321\u2013358, 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Robin Milner. A theory of type polymorphism in programming. Journal of Computer and Systems Sciences, 17:343\u2013378, 1978.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"John C. Mitchell. Type inference with simple subtypes. Journal of Functional Programming, 1(3):245\u2013286, July 1991.","DOI":"10.1017\/S0956796800000113"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Martin Odersky and Konstantin L\u00e4ufer. Putting type annotations to work. In Proceedings of ACM Symposium on Principles of Programming Languages, 1996.","DOI":"10.1145\/237721.237729"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Jens Palsberg. Efficient inference of object types. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 186\u2013195, Paris, France, July 1994. IEEE.","DOI":"10.1109\/LICS.1994.316073"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Benjamin Pierce and David Turner. Local type inference. In Proceedings of ACM Symposium on Principles of Programming Languages, San Diego, California, January 1998. ACM Press.","DOI":"10.1145\/268946.268967"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Francois Pottier. Simplifying subtyping constraints. In Proceedings of ACM International Conference on Functional Programming, Philadelpha, Pennsylvania, May 1996. ACM Press.","DOI":"10.1145\/232627.232642"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Didier R\u00e9my. Programming objects with ML-ART: An extension to ml with abstract and record types. In Masami Hagiya and John C. Mitchell, editors, International Symposium on Theoretical Aspects of Computer Software, pages 321\u2013346, Sendai, Japan, April 1994. Springer-Verlag.","DOI":"10.1007\/3-540-57887-0_102"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Marvin Solomon. Type definitions with parameters. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 31\u201338. ACM Press, 1978.","DOI":"10.1145\/512760.512765"},{"key":"18_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-61739-6_52","volume-title":"Static Analysis Symposium","author":"V. Trifonov","year":"1996","unstructured":"Valery Trifonov and Scott Smith. Subtyping constrained types. In Static Analysis Symposium, number 1145 in LNCS, pages 349\u2013365, 1996."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:46:16Z","timestamp":1556466376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}