{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T10:23:22Z","timestamp":1791109402822,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540678953","type":"print"},{"value":"9783540446224","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44622-2_10","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T04:32:38Z","timestamp":1187238758000},"page":"156-171","source":"Crossref","is-referenced-by-count":4,"title":["Subtyping with Power Types"],"prefix":"10.1007","author":[{"given":"David","family":"Aspinall","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"10_CR1","unstructured":"David Aspinall. Type Systems for Modular Programs and Specification. PhD thesis, Department of Computer Science, University of Edinburgh, 1997."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"David Aspinall. Subtyping with power types. Draft full version. LFCS, University of Edinburgh, 2000.","DOI":"10.1007\/3-540-44622-2_10"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"David Aspinall and Adriana Compagnoni. Subtyping dependent types. In E. Clarke, editor, Proceedings, Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 86\u201397, New Brunswick, New Jersey, 1996. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1996.561307"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Luca Cardelli. Structural subtyping and the notion of power type. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 70\u201379, San Diego, California, January 13\u201315, 1988. ACM SIGACT-SIGPLAN, ACM Press.","DOI":"10.1145\/73560.73566"},{"key":"10_CR5","unstructured":"Luca Cardelli. Notes about F< \u03c9. Unpublished manuscript, October 1990."},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Luca Cardelli and Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1(4):417\u2013458, 1991.","journal-title":"Journal of Functional Programming"},{"key":"10_CR7","unstructured":"Karl Crary. Type-theoretic Methodology for Practical Programming Languages. PhD thesis, Cornell University, 1998."},{"key":"10_CR8","unstructured":"Philippa Gardner. Representing Logics in Type Theory. PhD thesis, Department of Computer Science, University of Edinburgh, 1992."},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. JACM, 40(1):143\u2013184, 1993.","journal-title":"JACM"},{"key":"10_CR10","unstructured":"John C. Mitchell. Foundations for Programming Languages MIT Press, 1996."},{"key":"10_CR11","unstructured":"Frank Pfenning. Refinement types for logical frameworks. In Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs, pages 315\u2013328, May 1993."},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"Donald Sannella, Stefan SokoKlowski, and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689\u2013736, 1992.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44622-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:17:56Z","timestamp":1556756276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44622-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678953","9783540446224"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44622-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}