{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:44Z","timestamp":1742617124345,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:45:54Z","timestamp":1330209954000},"page":"290-310","source":"Crossref","is-referenced-by-count":8,"title":["On abstraction and the expressive power of programming languages"],"prefix":"10.1007","author":[{"given":"John C.","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"Computing Surveys"},{"key":"14_CR2","first-page":"134","volume":"432","author":"M. Felleisen","year":"1990","unstructured":"M. Felleisen. On the expressive power of programming languages. In Proc. European Symp. on Programming, pages 134\u2013151. Springer-Verlag LNCS 432, 1990.","journal-title":"LNCS"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"S. Greibach. Theory of Program Structures: Schemes, Semantics, Verification, volume 36 of Lecture Notes in Computer Science. Springer-Verlag, 1975.","DOI":"10.1007\/BFb0023017"},{"key":"14_CR4","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1952","unstructured":"S. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"D. MacQueen. Using dependent types to express modular structure. In Proc. 13-th ACM Symp. on Principles of Programming Languages, pages 277\u2013286, 1986.","DOI":"10.1145\/512644.512670"},{"key":"14_CR6","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"P. Martin-L\u00f6f. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner. Fully abstract models of typed lambda calculi. Theoretical Computer Science, 4(1), 1977.","DOI":"10.1016\/0304-3975(77)90053-6"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"J. Mitchell. Representation independence and data abstraction. In Proc. 13-th ACM Symp. on Principles of Programming Languages, pages 263\u2013276, January 1986.","DOI":"10.1145\/512644.512669"},{"key":"14_CR9","first-page":"365","volume":"B","author":"J. Mitchell","year":"1990","unstructured":"J. Mitchell. Type systems for programming languages. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 365\u2013458. North-Holland, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J. Mitchell and R. Harper. The essence of ML. In Proc. 15-th ACM Symp. on Principles of Programming Languages, pages 28\u201346, January 1988.","DOI":"10.1145\/73560.73563"},{"issue":"3","key":"14_CR11","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J. Mitchell","year":"1988","unstructured":"J. Mitchell and G. Plotkin. Abstract types have existential types. ACM Trans. on Programming Languages and Systems, 10(3):470\u2013502, 1988. Preliminary version appeared in Proc. 12-th ACM Symp. on Principles of Programming Languages, 1985.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"14_CR12","unstructured":"K. Mulmuley. Full abstraction and semantic equivalence. The MIT Press, 1987."},{"key":"14_CR13","unstructured":"M. Paterson and C. Hewitt. Comparative schematology. In Proj. MAC Conf. on Concurrent Systems and Parallel Computation. MIT, 1970."},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. Plotkin","year":"1977","unstructured":"G. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5:223\u2013255, 1977.","journal-title":"Theoretical Computer Science"},{"key":"14_CR15","unstructured":"J. Reynolds. Types, abstraction, and parametric polymorphism. In Information Processing '83, pages 513\u2013523, Amsterdam, 1983. North-Holland."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"J. Riecke. Fully abstract translations between functional languages. In Proc. 17-th ACM Symp. on Principles of Programming Languages, pages 245\u2013254, January 1990.","DOI":"10.1145\/99583.99617"},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(85)80001-2","volume":"65","author":"R. Statman","year":"1985","unstructured":"R. Statman. Logical relations and the typed lambda calculus. Information and Control, 65:85\u201397, 1985.","journal-title":"Information and Control"},{"key":"14_CR18","unstructured":"A. Stoughton. Fully Abstract Models of Programming Languages. Pitman\/John Wiley and Sons, 1988."},{"key":"14_CR19","unstructured":"P. Winston and B. Horn. Lisp. Addison-Wesley, 1981."}],"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-54415-1_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:17:33Z","timestamp":1742591853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}