{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:03:07Z","timestamp":1754485387685},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620341"},{"type":"electronic","value":"9783540496311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62034-6_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:31:57Z","timestamp":1330295517000},"page":"19-36","source":"Crossref","is-referenced-by-count":2,"title":["A lambda calculus with letrecs and barriers"],"prefix":"10.1007","author":[{"family":"Arvind","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Willem","family":"Maessen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rishiyur S.","family":"Nikhil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Stoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"4","author":"M. Abadi","year":"1991","unstructured":"M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. L\u00e9vy. Explicit substitutions. Journal of Functional Programming, 4(1):375\u2013416, 1991.","journal-title":"Journal of Functional Programming"},{"key":"2_CR2","unstructured":"Shail Aditya, Arvind, Lennart Augustsson, Jan-Willem Maessen, and Rishiyur S. Nikhil. Semantics of pH: A Parallel Dialect of Haskell. In in Proc. Haskell Workshop (at FPCA 95), La Jolla, CA, June 1995."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. The call-by-need lambda calculus. In Proc. ACM Conference on Principles of Programming Languages, pages 233\u2013246, 1995.","DOI":"10.1145\/199448.199507"},{"key":"2_CR4","unstructured":"Z. M. Ariola and J. W. Klop. Lambda calculus with explicit recursion. Technical Report CIS-TR-96-04, Department of Computer and Information Science, University of Oregon, 1996."},{"key":"2_CR5","volume-title":"CSG Memo 322","author":"Z. M. Ariola","year":"1991","unstructured":"Zena M. Ariola and Arvind. A Syntactic Approach to Program Transformations. In Proc. Symp. on Partial Evaluation and Semantics Based Program Manipulation, Yale University, New Haven, CT, June 1991. Also CSG Memo 322, MIT Lab for Computer Science."},{"key":"2_CR6","unstructured":"Z.M. et al. Ariola. Cyclic lambda calculi. Technical Report CIS-TR-96-??, Department of computer and information science, University of Oregon, 1996."},{"issue":"4","key":"2_CR7","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1145\/69558.69562","volume":"11","author":"Arvind","year":"1989","unstructured":"Arvind, Rishiyur Sivaswami Nikhil, and Keshav Kumar Pingali. I-Structures: Data Structures for Parallel Computing. ACM Transactions on Programming Languages and Systems, 11(4):598\u2013632, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR8","unstructured":"William Clinger and Jonathan Rees (eds.). Revised4 Report on the Algorithmic Language Scheme. Technical report, MIT AI Laboratory, November 2 1991."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Maria M. Guzman, Kevin Hammond, John Hughes, Thomas Johnsson, Richard Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the Programming Language Haskell, A Non-strict, Purely Functional Language, Version 1.2. ACM SIGPLAN Notices, 27(5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"J. Launchbury. A natural semantics for lazy evaluation. In Proc. ACM Conference on Principles of Programming Languages, pages 144\u2013154, 1993.","DOI":"10.1145\/158511.158618"},{"key":"2_CR11","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 990."},{"key":"2_CR12","volume-title":"Technical Report CSG Memo 284-2","author":"R. S. Nikhil","year":"1991","unstructured":"Rishiyur Sivaswami Nikhil. Id (Version 90.1) Language Reference Manual. Technical Report CSG Memo 284-2, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA, July 15 1991."},{"key":"2_CR13","unstructured":"Guy L. Steele Jr. Common Lisp: The Language. Digital Press, second edition, 1990."},{"key":"2_CR14","unstructured":"C. P. Wadsworth. Semantics and pragmatics of the lambda-calculus. D.Phil. thesis, University of Oxford, 1971."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62034-6_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:33Z","timestamp":1605647493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62034-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620341","9783540496311"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-62034-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}