{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:37:38Z","timestamp":1725831458787},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240114"},{"type":"electronic","value":"9783319240121"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24012-1_6","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T14:01:22Z","timestamp":1444140082000},"page":"75-80","source":"Crossref","is-referenced-by-count":0,"title":["An Intrinsic Denotational Semantics for a Lazy Functional Language"],"prefix":"10.1007","author":[{"given":"Leonardo","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"6_CR1","unstructured":"Some Formalizations in Coq. \n                    http:\/\/cs.famaf.unc.edu.ar\/ leorodriguez\/compilercorrectness\/"},{"key":"6_CR2","unstructured":"The Coq Proof Assistant. \n                    http:\/\/coq.inria.fr\/"},{"key":"6_CR3","first-page":"65","volume-title":"Research Topics in Functional Programming","author":"S Abramsky","year":"1990","unstructured":"Abramsky, S.: The lazy lambda calculus. In: Turner, D. (ed.) Research Topics in Functional Programming, pp. 65\u2013116. Addison-Wesley, Boston (1990)"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1044","volume":"105","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Ong, C.L.: Full abstraction in the lazy lambda calculus. Inf. Comput. 105(2), 159\u2013267 (1993)","journal-title":"Inf. Comput."},{"key":"6_CR5","unstructured":"Benton, N., Kennedy, A., Varming, C.: Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages (2010), unpublished"},{"key":"6_CR6","unstructured":"Breitner, J.: The correctness of Launchbury\u2019s natural semantics for lazy evaluation. Archive of Formal Proofs (2013)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M.: Super-combinators: a new implementation method for applicative languages. In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1982, pp. 1\u201310. ACM, New York (1982)","DOI":"10.1145\/800068.802129"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"PLS Jones","year":"1992","unstructured":"Jones, P.L.S.: Implementing lazy functional languages on stock hardware: the spineless tagless G-machine. J. Funct. Program. 2(2), 127\u2013202 (1992)","journal-title":"J. Funct. Program."},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0304-3975(89)90122-9","volume":"68","author":"MB Josephs","year":"1989","unstructured":"Josephs, M.B.: The semantics of lazy functional languages. Theor. Compu. Sci. 68(1), 105\u2013111 (1989)","journal-title":"Theor. Compu. Sci."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/3-540-15975-4_50","volume-title":"Functional Programming Languages and Computer Architecture","author":"RB Kieburtz","year":"1985","unstructured":"Kieburtz, R.B.: The G-machine: a fast, graph-reduction evaluator. In: Jouannaud, J.P. (ed.) FPLCA 1985. LNCS, vol. 201, pp. 400\u2013413. Springer, Heidelberg (1985)"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10990-007-9018-9","volume":"20","author":"JL Krivine","year":"2007","unstructured":"Krivine, J.L.: A call-by-name lambda-calculus machine. High. Order Symbolic Comput. 20(3), 199\u2013207 (2007)","journal-title":"High. Order Symbolic Comput.."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Launchbury, J.: A natural semantics for lazy evaluation. In: POPL, pp. 144\u2013154 (1993)","DOI":"10.1145\/158511.158618"},{"key":"6_CR13","unstructured":"Nakata, K.: Denotational semantics for lazy initialization of letrec: black holes as exceptions rather than divergence. In: 7th Workshop on Fixed Points in Computer Science (2010)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/3-540-54415-1_70","volume-title":"Theoretical Aspects of Computer Software","author":"JC Reynolds","year":"1991","unstructured":"Reynolds, J.C.: The Coherence of Languages with Intersection Types. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 675\u2013700. Springer, Heidelberg (1991)"},{"key":"6_CR15","volume-title":"Theories of Programming Languages","author":"JC Reynolds","year":"1999","unstructured":"Reynolds, J.C.: Theories of Programming Languages. Cambridge University Press, New York (1999)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: The Meaning of Types - From Intrinsic to Extrinsic Semantics. Technical report RS-00-32, BRICS, December 2000","DOI":"10.7146\/brics.v7i32.20167"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1017\/S0956796897002712","volume":"7","author":"P Sestoft","year":"1997","unstructured":"Sestoft, P.: Deriving a lazy abstract machine. J. Funct. Program. 7(3), 231\u2013264 (1997)","journal-title":"J. Funct. Program."}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24012-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:49:32Z","timestamp":1559260172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24012-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240114","9783319240121"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24012-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}