{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:13:42Z","timestamp":1649099622687},"reference-count":16,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4095,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,5]]},"DOI":"10.1016\/s0304-3975(00)00333-9","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:21:34Z","timestamp":1027653694000},"page":"111-140","source":"Crossref","is-referenced-by-count":0,"title":["Polymorphic lambda calculus and subtyping"],"prefix":"10.1016","volume":"278","author":[{"given":"Adrian","family":"Fiech","sequence":"first","affiliation":[]},{"given":"David A.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(00)00333-9_BIB1","doi-asserted-by":"crossref","unstructured":"M. Abadi, G.D. Plotkin, A per model of polymorphism and recursive types, Proc. Symp. on Logic in Computer Science, IEEE, New York, 1990, pp. 355\u2013365.","DOI":"10.1109\/LICS.1990.113761"},{"issue":"1","key":"10.1016\/S0304-3975(00)00333-9_BIB2","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","article-title":"Inheritance as implicit coersion","volume":"93","author":"Breazu-Tannen","year":"1991","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB3","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/0890-5401(90)90062-M","article-title":"A modest model of records, inheritance and bounded quantification","volume":"87","author":"Bruce","year":"1990","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB4","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/0890-5401(90)90044-I","article-title":"The semantics of second-order Lambda-calculus","volume":"85","author":"Bruce","year":"1990","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB5","doi-asserted-by":"crossref","unstructured":"K. Bruce, J. Mitchell, PER models of subtyping, recursive types and higher-order polymorphism, Proc. ACM Symp. on Principles of Programming Languages, 1992, pp. 316\u2013327.","DOI":"10.1145\/143165.143230"},{"key":"10.1016\/S0304-3975(00)00333-9_BIB6","doi-asserted-by":"crossref","unstructured":"L. Cardelli, S. Martini, J. Mitchell, S. Scedrov, An extension of system F with subtyping, Internat. Conf. on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, Vol. 526, Springer, Berlin, 1991, pp. 750\u2013770.","DOI":"10.1007\/3-540-54415-1_73"},{"issue":"4","key":"10.1016\/S0304-3975(00)00333-9_BIB7","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","article-title":"On understanding types, data abstraction, and polymorphism","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0304-3975(00)00333-9_BIB8","doi-asserted-by":"crossref","unstructured":"F. Cardone, Relational semantics for recursive types and bounded quantification, ICALP, Lecture Notes in Computer Science, Vol. 372, Springer, Berlin, 1989, pp. 164\u2013178.","DOI":"10.1007\/BFb0035759"},{"issue":"2","key":"10.1016\/S0304-3975(00)00333-9_BIB9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0890-5401(89)90068-0","article-title":"Domain theoretic models of polymorphism","volume":"81","author":"Coquand","year":"1989","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB10","unstructured":"A. Fiech, A denotational model for polymorphic lambda calculus with subtyping, Ph.D. Thesis, Kansas State University, Manhattan, USA, 1993."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129500070031","article-title":"Colimits in the category DCPO","volume":"6","author":"Fiech","year":"1996","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB12","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(94)00122-Y","article-title":"Algebraic domains of natural transformations","volume":"136","author":"Fiech","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","article-title":"An ideal model for recursive polymorphic types","volume":"71","author":"MacQueen","year":"1986","journal-title":"Inform. and Control"},{"key":"10.1016\/S0304-3975(00)00333-9_BIB14","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds, Using Category Theory to Design Implicit Conversions and Generic Operators, Lecture Notes in Computer Science, Vol. 94, Springer, Berlin, 1980, pp. 211\u2013258.","DOI":"10.1007\/3-540-10250-7_24"},{"key":"10.1016\/S0304-3975(00)00333-9_BIB15","unstructured":"D. Schmidt, Action Semantics Based Language Design, SOFSEM \u201890 Zotavovna Sirena, Janske Lazne, Krkonose, November 1990."},{"key":"10.1016\/S0304-3975(00)00333-9_BIB16","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","article-title":"The category-theoretic solution of recursive domain equations","volume":"11","author":"Smyth","year":"1982","journal-title":"SIAM J. Comput."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500003339?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500003339?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T08:53:22Z","timestamp":1580892802000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500003339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S0304397500003339"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00333-9","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}