{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:06Z","timestamp":1725664206900},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_37","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:28:30Z","timestamp":1330273710000},"page":"131-146","source":"Crossref","is-referenced-by-count":1,"title":["Stackability in the simply-typed call-by-value lambda calculus"],"prefix":"10.1007","author":[{"given":"Anindya","family":"Banerjee","sequence":"first","affiliation":[]},{"given":"David A.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"8_CR1","volume-title":"Technical Report TR-94-6","author":"A. Banerjee","year":"1994","unstructured":"Anindya Banerjee, and David A. Schmidt. Stackability in the Typed Call-by-value Lambda Calculus. Technical Report TR-94-6, Kansas State University, Manhattan, Kansas, U.S.A., 1994."},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1145\/1780.1803","volume":"6","author":"M. Georgeff","year":"1984","unstructured":"Michael Georgeff. Transformations and reduction strategies for typed lambda expressions. ACM Transactions on Programming Languages and Systems, 6(4):603\u2013631, October 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Benjamin Goldberg and Young Gil Park. Higher order escape analysis:optimizing stack allocation in functional program implementations. In N.Jones, editor, Proceedings of the Third European Symposium on Programming, number 432 in Lecture Notes in Computer Science, pages 152\u2013160, Copenhagen, Denmark, May 1990.","key":"8_CR3","DOI":"10.1007\/3-540-52592-0_61"},{"key":"8_CR4","volume-title":"Technical Report 601","author":"G. Kahn","year":"1987","unstructured":"Gilles Kahn. Natural semantics. Technical Report 601, INRIA, Sophia Antipolis, France, February 1987."},{"key":"8_CR5","volume-title":"Lambda Calculus, Types, and Models","author":"J. Krivine","year":"1993","unstructured":"Jean-Louis Krivine. Lambda Calculus, Types, and Models. Ellis-Horwood, Chichester, 1993."},{"key":"8_CR6","first-page":"209","volume":"17","author":"R. Milner","year":"1992","unstructured":"Robin Milner, and Mads Tofte. Co-induction in relational semantics. Theoretical Computer Science, 17:209\u2013220, 1992.","journal-title":"Theoretical Computer Science"},{"key":"8_CR7","volume-title":"Technical Report CMU-CS-88-159, Computer Science","author":"J. C. Reynolds","year":"1988","unstructured":"John C. Reynolds. Preliminary design of the programming language Forsythe. Technical Report CMU-CS-88-159, Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania, 1988."},{"unstructured":"David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986.","key":"8_CR8"},{"key":"8_CR9","series-title":"Rapport Nr. 92\/6","volume-title":"PhD thesis","author":"P. Sestoft","year":"1991","unstructured":"Peter Sestoft. Analysis and Efficient Implementation of Functional Programs. PhD thesis, DIKU, Copenhagen, Denmark, October 1991. Rapport Nr. 92\/6."},{"doi-asserted-by":"crossref","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-value \u03bb-calculus using a Stack of Regions. In Proceedings of the Twentyfirst Annual ACM Symposium on Principles of Programming Languages, Portland, Oregon, January 1994.","key":"8_CR10","DOI":"10.1145\/174675.177855"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:19Z","timestamp":1605648139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}