{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:18:38Z","timestamp":1725484718743},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435372"},{"type":"electronic","value":"9783540460282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46028-4_10","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:07:36Z","timestamp":1180559256000},"page":"155-167","source":"Crossref","is-referenced-by-count":0,"title":["Runtime Behavior of Conversion Interpretation of Subtyping"],"prefix":"10.1007","author":[{"given":"Yasuhiko","family":"Minamide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"A. Bakewell and C. Runciman. A model for comparing the space usage of lazy evaluators. In Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 151\u2013162, 2000.","DOI":"10.1145\/351268.351287"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"G. E. Blelloch and J. Greiner. A provably time and space efficient implementation of NESL. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 213\u2013225, 1996.","DOI":"10.1145\/232629.232650"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"V. Breazu-Tannen, C. A. Gunter, and A. Scedrov. Computing with coercions. In Proceedings of the 1990 ACM Conference on LISP and Functional programming, pages 44\u201360, 1990.","DOI":"10.1145\/91556.91590"},{"key":"10_CR4","unstructured":"C. A. Gunter. Semantics of Programming Languages, chapter 4. The MIT Press, 1992."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"J. Gustavsson and D. Sands. A foundation for space-safe transformations of callby-need programs. In Proceedings of the Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS99), volume 26 of ENTCS, 1999.","DOI":"10.1016\/S1571-0661(05)80284-1"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"J. Gustavsson and D. Sands. Possibilities and limitations of call-by-need space improvement. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, pages 265\u2013276, 2001.","DOI":"10.1145\/507635.507667"},{"key":"10_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60360-3_40","volume-title":"Control-.owanalysis and type systems","author":"N. Heintze","year":"1995","unstructured":"N. Heintze. Control-.owanalysis and type systems. In Proceedings of the 1995 International Static Analysis Symposium, volume 983 of LNCS, pages 189\u2013206, 1995."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"X. Leroy. Unboxed objects and polymorphic typing. In the 19th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 177\u2013188, 1992.","DOI":"10.1145\/143165.143205"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Y. Minamide. A space-pro.ling semantics of call-by-value lambda calculus and the CPS transformation. In Proceedings of the Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS99), volume 26 of ENTCS, 1999.","DOI":"10.1016\/S1571-0661(05)80286-5"},{"key":"10_CR10","unstructured":"Y. Minamide. A newcriterion for safe program transformations. In Proceedings of the Forth International Workshop on Higher Order Operational Techniques in Semantics (HOOTS), volume 41(3) of ENTCS, Montreal, 2000."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Y. Minamide and J. Garrigue. On the runtime complexity of type-directed unboxing. In Proceedings of the Third ACM SIGPLAN International Conference on Functional programming, pages 1\u201312, 1998.","DOI":"10.1145\/289423.289424"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Y. Minamide, G. Morrisett, and R. Harper. Typed closure conversion. In Proceeding of the ACM Symposium on Principles of Programming Languages, pages 271\u2013283, 1996.","DOI":"10.1145\/237721.237791"},{"key":"10_CR13","unstructured":"J. C. Mitchell. Foundations for Programming Languages, chapter 10. The MIT Press, 1996."},{"issue":"6","key":"10_CR14","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/218570.218572","volume":"17","author":"A. Ohori","year":"1995","unstructured":"A. Ohori. A polymorphic record calculus and its compilation. ACM Transaction on Programming Languages and Systems, 17(6):844\u2013895, 1995.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1093\/logcom\/5.4.495","volume":"5","author":"D. Sands","year":"1995","unstructured":"D. Sands. A naive time analysis and its theory of cost equivalence. Journal of Logic and Computation, 5(4):495\u2013541, 1995.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(96)00074-6","volume":"167","author":"D. Sands","year":"1996","unstructured":"D. Sands. Proving the correctness of recursion-based automatic program transformations. Theoretical Computer Science, 167(1&2):193\u2013233, 1996.","journal-title":"Theoretical Computer Science"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"D. Sands. Computing with contexts: A simple approach. In Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics (HOOTS II), volume 10 of ENTCS, 1998.","DOI":"10.1016\/S1571-0661(05)80694-2"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46028-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:33:28Z","timestamp":1556444008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46028-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435372","9783540460282"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-46028-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}