{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:38Z","timestamp":1725663578804},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543961"},{"type":"electronic","value":"9783540475996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540543961_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:43:13Z","timestamp":1330191793000},"page":"259-288","source":"Crossref","is-referenced-by-count":2,"title":["A projection model of types"],"prefix":"10.1007","author":[{"given":"D. J.","family":"Lillie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. G.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"13_CR1","unstructured":"R. Amadio, K. B. Bruce, and G. Longo. \u201cThe Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations\u201d. In IEEE Symposium on Logic in Computer Science, 1986."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and G. Plotkin. \u201cA Per Model of Polymorphism and Recursive Types\u201d. In IEEE Symposium on Logic in Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113761"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J. Rutten. \u201cSolving Reflexive Domain Equations in a Category of Complete Metric Spaces\u201d. Journal of Computer and System Sciences, 39:343\u2013375, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"J. Backus. \u201cCan Programming be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs\u201d. Communications of the ACM, 21(8), 1978.","DOI":"10.1145\/359576.359579"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"7","DOI":"10.4064\/fm-3-1-7-13","volume":"3","author":"S. Banach","year":"1922","unstructured":"S. Banach. \u201cSur les operations dans les ensembles abstraits et leurs applications aux equations integrales\u201d. Fund. Math., 3:7\u201333, 1922.","journal-title":"Fund. Math."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"R. M. Burstall, D. B. MacQueen, and D. T. Sanella. \u201cHope: an Experimental Applicative Language\u201d. In Lisp Conference, pages 136\u2013143. A.C.M., August 1980.","DOI":"10.1145\/800087.802799"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. \u201cA Semantics of Multiple Inheritance\u201d. Information and Computation, 76:138\u2013164, 1988.","journal-title":"Information and Computation"},{"key":"13_CR8","unstructured":"P.-L. Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Pitman, 1986."},{"key":"13_CR9","unstructured":"M. Coppo and M. Zacchi. \u201cType Inference and Logical Relations\u201d. In IEEE Symposium on Logic in Computer Science, 1986."},{"key":"13_CR10","unstructured":"A. J. Field and P. G. Harrison. Functional Programming. Addisonwesley Publishing Company, 1988."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"M. J. Gordon, A. J. Milner, and C. P. Wadsworth. Edinburgh LCF, LNCS. Number 78 in LNCS. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09724-4"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"S. Hunt. \u201cPERs Generalise Projections for Strictness Analysis\u201d. In Third Annual Glasgow Workshop on Functional Programming, Draft Proceedings, pages 156\u2013168, 1990.","DOI":"10.1007\/978-1-4471-3810-5_10"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. \u201cA Theory of Type Polymorphism in Programming\u201d. Journal of Computer and System Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","volume":"71","author":"D. MacQueen","year":"1986","unstructured":"D. MacQueen, G. Plotkin, and R. Sethi. \u201cAn Ideal Model for Recursive Polymorphic Types\u201d. Information and Control, 71:95\u2013130, 1986.","journal-title":"Information and Control"},{"issue":"3","key":"13_CR16","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D.S. Scott","year":"1976","unstructured":"D.S. Scott. \u201cData Types as Lattices\u201d. SIAM Journal on Computing, 5(3):522\u2013587, 1976.","journal-title":"SIAM Journal on Computing"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"R.A.G. Seely. \u201cCategorical Semantics for Hiugher-Order Polymorphic Lambda Calculus\u201d. Journal of Symbolic Logic, 52(4), 1987.","DOI":"10.2307\/2273831"},{"key":"13_CR18","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"M. B. Smyth and G. D. Plotkin. \u201cThe Category-Theoretic Solution of Recursive Domain Equations\u201d. SIAM Journal on Computing, 11:761\u2013783, 1982.","journal-title":"SIAM Journal on Computing"},{"key":"13_CR19","first-page":"386","volume":"274","author":"P. Wadler","year":"1987","unstructured":"P. Wadler and R.J.M. Hughes. \u201cProjections for Strictness Analysis\u201d. In Functional Programming and Computer Architecture, LNCS, vol. 274, pages 386\u2013406, 1987.","journal-title":"Functional Programming and Computer Architecture, LNCS"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540543961_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:53Z","timestamp":1605628433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540543961_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543961","9783540475996"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3540543961_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}