{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:48Z","timestamp":1725664008820},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578871"},{"type":"electronic","value":"9783540483830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_121","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:39:16Z","timestamp":1330245556000},"page":"687-706","source":"Crossref","is-referenced-by-count":17,"title":["Subtyping with union types, intersection types and recursive types"],"prefix":"10.1007","author":[{"given":"Flemming M.","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (POPL'91), pages 104\u2013118, ACM Press, 1991. Extended abstract. Full version in [AC92].","key":"35_CR1","DOI":"10.1145\/99583.99600"},{"key":"35_CR2","volume-title":"Technical Report 133","author":"R. M. Amadio","year":"1992","unstructured":"Roberto M. Amadio and Luca Cardelli. Subtyping Recursive Types. Technical Report 133, INRIA, Institut National de Recherche en Informatique et en Automatique, Lorraine, February 1992."},{"key":"35_CR3","first-page":"427","volume-title":"volume 523 of Lecture Notes in Computer Science","author":"A. Aiken","year":"1991","unstructured":"Alexander Aiken and Brian M. Murphy. Implementing regular tree expressions. In J. Hughes, editor, Proceedings of the 5th A CM Conference on Functional Programming Languages and Computer Architecture (FPCA '91), Cambridge, MA, USA, August 1991, volume 523 of Lecture Notes in Computer Science, pages 427\u2013447, Springer-Verlag, 1991."},{"doi-asserted-by":"crossref","unstructured":"Alexander Aiken and Brian M. Murphy. Static type inference in a dynamically typed language. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (POPL '91), pages 279\u2013290, ACM Press, 1991.","key":"35_CR4","DOI":"10.1145\/99583.99621"},{"key":"35_CR5","first-page":"329","volume-title":"Solving systems of set constraints (extended abstract)","author":"A. Aiken","year":"1992","unstructured":"Alexander Aiken and Edward L. Wimmers. Solving systems of set constraints (extended abstract). In Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS'92), Santa Cruz, California, June 1992, pages 329\u2013340, IEEE Computer Society, IEEE Computer Society Press, 1992."},{"key":"35_CR6","first-page":"31","volume-title":"Type inclusion constraints and type inference","author":"A. Aiken","year":"1993","unstructured":"Alexander Aiken and Edward L. Wimmers. Type inclusion constraints and type inference. In Proceedings of the 6th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA '93), Copenhagen, Denmark, June 1993, pages 31\u201341, ACM Press, 1993."},{"doi-asserted-by":"crossref","unstructured":"Robert Cartwright and Mike Fagan. Soft typing. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI'91), pages 278\u2013292, ACM Press, 1991.","key":"35_CR7","DOI":"10.1145\/113445.113469"},{"issue":"4","key":"35_CR8","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"Computing Surveys"},{"unstructured":"Flemming M. Damm. Subtyping with Union Types, Intersection Types and Recursive Types. Technical Report, Department of Computer Science, The Technical University of Denmark, 1994. Forthcoming.","key":"35_CR9"},{"doi-asserted-by":"crossref","unstructured":"Tim Freeman and Frank Pfenning. Refinement types for ML. In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI'91), pages 268\u2013277, ACM Press, 1991.","key":"35_CR10","DOI":"10.1145\/113445.113468"},{"key":"35_CR11","volume-title":"Tree Automata","author":"F. G\u00e9cseg","year":"1984","unstructured":"Ferenc G\u00e9cseg and Magnus Steinby. Tree Automata. Akad\u00e9miai Kiad\u00f3, Budapest, 1984."},{"doi-asserted-by":"crossref","unstructured":"R. Gilleron, S. Tison, and M. Tommasi. Solving systems of set constraints with negated subset relationships. In Proceedings of the 34th Annuel Symposium on Foundations of Computer Science (FOCS'93), pages 372\u2013380, IEEE Computer Society, IEEE Computer Society Press, 1993.","key":"35_CR12","DOI":"10.1109\/SFCS.1993.366850"},{"key":"35_CR13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","volume":"71","author":"D. MacQueen","year":"1986","unstructured":"David MacQueen, Gordon Plotkin, and Ravi Sethi. An ideal model for recursive polymorphic types. Information and Control, 71:95\u2013130, 1986.","journal-title":"Information and Control"},{"doi-asserted-by":"crossref","unstructured":"Prateek Mishra and Uday S. Reddy. Declaration-free type checking. In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages (POPL'85), pages 7\u201321, 1985.","key":"35_CR14","DOI":"10.1145\/318593.318603"},{"unstructured":"Benjamin C. Pierce. Programming with Intersection Types, Union Types and Polymorphism. Technical Report CMU-CS-91-106, Carnegie Mellon University, 1991.","key":"35_CR15"},{"unstructured":"W.A. Sutherland. Introduction to metric and topological spaces. Oxford University Press, 1975.","key":"35_CR16"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_121.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:09:32Z","timestamp":1619557772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_121","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}