{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:15Z","timestamp":1763467815435,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_3","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:39:04Z","timestamp":1192786744000},"page":"21-35","source":"Crossref","is-referenced-by-count":5,"title":["Existential Types for Imperative Languages"],"prefix":"10.1007","author":[{"given":"Dan","family":"Grossman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/inco.1999.2829","volume":"155","author":"K. B. Bruce","year":"1999","unstructured":"Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing object encodings. Information and Computation, 155:108\u2013133, 1999.","journal-title":"Information and Computation"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Robert DeLine and Manuel F\u00e4hndrich. Enforcing high-level protocols in low-level software. In ACM Conference on Programming Language Design and Implementation, pages 59\u201369, Snowbird, UT, June 2001.","DOI":"10.1145\/378795.378811"},{"key":"3_CR3","unstructured":"Dan Grossman. Existential types for imperative languages: Technical results. Technical Report 2001-1854, Cornell University Computer Science, October 2001."},{"issue":"4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0020-0190(94)90120-1","volume":"51","author":"R. Harper","year":"1994","unstructured":"Robert Harper. A simplified account of polymorphic references. Information Processing Letters, 51(4):201\u2013206, August 1994.","journal-title":"Information Processing Letters"},{"key":"3_CR5","unstructured":"Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In 2002 USENIX Annual Technical Conference, Monterey, CA, June 2002. To appear."},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1017\/S0956796800001817","volume":"6","author":"K. L\u00e4ufer","year":"1996","unstructured":"Konstantin L\u00e4ufer. Type classes with existential types. Journal of Functional Programming, 6(3):485\u2013517, May 1996.","journal-title":"Journal of Functional Programming"},{"key":"3_CR7","unstructured":"B. Liskov et al. CLU Reference Manual. Springer-Verlag, 1984."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Yasuhiko Minamide, Greg Morrisett, and Robert Harper. Typed closure conversion. In 23rd ACM Symposium on Principles of Programming Languages, pages 271\u2013283, St. Petersburg, FL, January 1996.","DOI":"10.1145\/237721.237791"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"J.C. Mitchell and G.D. Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470\u2013502, 1988. Preliminary version in 12th ACM Symposium on Principles of Programming Languages, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):528\u2013569, May 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-61055-3_47","volume-title":"Towards an ML-style polymorphic type system for C","author":"G. Smith","year":"1996","unstructured":"Geoffrey Smith and Dennis Volpano. Towards an ML-style polymorphic type system for C. In 6th European Symposium on Programming, volume 1058 of Lecture Notes in Computer Science, pages 341\u2013355, Link\u00f6ping, Sweden, April 1996. Springer-Verlag."},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0167-6423(97)00030-0","volume":"32","author":"G. Smith","year":"1998","unstructured":"Geoffrey Smith and Dennis Volpano. A sound polymorphic type system for a dialect of C. Science of Computer Programming, 32(2\u20133):49\u201372, 1998.","journal-title":"Science of Computer Programming"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"Mads Tofte. Type inference for polymorphic references. Information and Computation, 89:1\u201334, November 1990.","journal-title":"Information and Computation"},{"key":"3_CR15","series-title":"Lect Notes Comput Sci","first-page":"177","volume-title":"Alias types for recursive data structures","author":"D. Walker","year":"2000","unstructured":"David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, volume 2071 of Lecture Notes in Computer Science, pages 177\u2013206, Montreal, Canada, September 2000. Springer-Verlag."},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. K. Wright","year":"1994","unstructured":"Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38\u201394, 1994.","journal-title":"Information and Computation"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Hongwei Xi. Imperative programming with dependent types. In 15th IEEE Symposium on Logic in Computer Science, pages 375\u2013387, Santa Barbara, CA, June 2000.","DOI":"10.1109\/LICS.2000.855785"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:13:47Z","timestamp":1737486827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}