{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T23:10:02Z","timestamp":1693869002793},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10990-005-4878-3","type":"journal-article","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T12:09:45Z","timestamp":1133006985000},"page":"299-326","source":"Crossref","is-referenced-by-count":12,"title":["Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct"],"prefix":"10.1007","volume":"18","author":[{"given":"Oscar","family":"Waddell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dipanwita","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. Kent","family":"Dybvig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4878_CR1","unstructured":"Bondorf, A. Similix Manual, System Version 5.0. DIKU, University of Copenhagen, Denmark, 1993."},{"key":"4878_CR2","unstructured":"Bose, B. DDD\u2014A transformation system for digital design derivation. Technical Report 331, Computer Science Dept., Indiana Univ., Bloomington, Ind., May 1991."},{"key":"4878_CR3","unstructured":"Burger, R.G. The Scheme machine. Technical Report 413, Computer Science Dept., Indiana Univ., Bloomington, Ind., August 1994."},{"issue":"4","key":"4878_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01806308","volume":"5","author":"R. K. Dybvig","year":"1993","unstructured":"Dybvig, R. K., Hieb, R., and Bruggeman, C. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5(4) (1993) 295\u2013326.","journal-title":"Lisp and Symbolic Computation"},{"key":"4878_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01018696","volume":"7","author":"M. Feeley","year":"1994","unstructured":"Feeley, M., Turcotte, M., and Lapalme, G. Using Multilisp for solving constraint satisfaction problems: An application to nucleic acid 3D structure determination. Lisp and Symbolic Computation, 7 (1994) 231\u2013247.","journal-title":"Lisp and Symbolic Computation"},{"key":"4878_CR6","doi-asserted-by":"crossref","unstructured":"Gabriel, R.P. Performance and Evaluation of LISP Systems. MIT Press Series in Computer Systems. MIT Press, Cambridge, Massachusetts, 1985.","DOI":"10.7551\/mitpress\/5298.001.0001"},{"key":"4878_CR7","doi-asserted-by":"crossref","unstructured":"Kelsey, R., Clinger, W., and Rees, J. Revised5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation, 11(1) (1998) 7\u2013105.","DOI":"10.1023\/A:1010051815785"},{"key":"4878_CR8","unstructured":"Kranz, D.A., Orbit, An optimizing compiler for scheme. PhD thesis, Yale University, May 1988."},{"key":"4878_CR9","doi-asserted-by":"crossref","unstructured":"Kranz, D.A., Kelsey, R., Rees, J.A., Hudak, P., Philbin, J., and Adams, N.I. Orbit: an optimizing compiler for Scheme. SIGPLAN Notices, ACM Symposium on Compiler Construction, 21(7) (1986) 219\u2013233.","DOI":"10.1145\/12276.13333"},{"key":"4878_CR10","unstructured":"Rees, J.A., Adams, N.I., and Meehan, J.R. The T Manual. Yale University, New Haven, Connecticut, USA, 1984. Fourth edition."},{"key":"4878_CR11","unstructured":"Rozas, G.J. Liar, an Algol-like compiler for Scheme, S.B. Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, January 1984."},{"key":"4878_CR12","doi-asserted-by":"crossref","unstructured":"Rozas, G.J. Taming the Y operator. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, San Francisco, USA, June 1992, pp. 226\u2013234.","DOI":"10.1145\/141471.141545"},{"key":"4878_CR13","unstructured":"Guy L. Steele Jr. Rabbit: A compiler for Scheme. MIT AI Memo 474, Massachusetts Institute of Technology, Cambridge, Mass., May 1978."},{"key":"4878_CR14","doi-asserted-by":"crossref","unstructured":"Waddell, O. and Dybvig, R.K. Extending the scope of syntactic abstraction. In Conference Record of the Twenty Sixth Annual ACM Symposium on Principles of Programming Languages, January 1999, pp. 203\u2013213.","DOI":"10.1145\/292540.292559"},{"key":"4878_CR15","unstructured":"Waddell, O., Sarkar, D., and Dybvig, R.K. Robust and effective transformation of letrec. In Scheme 2002: Proceedings of the Third Workshop on Scheme and Functional Programming, October 2002."},{"key":"4878_CR16","doi-asserted-by":"crossref","unstructured":"Wright, A.K. and Cartwright, R. A practical soft type system for scheme. In Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994, pp. 250\u2013262.","DOI":"10.1145\/182409.182485"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-005-4878-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-005-4878-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-005-4878-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T16:41:53Z","timestamp":1683304913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-005-4878-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":16,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4878"],"URL":"https:\/\/doi.org\/10.1007\/s10990-005-4878-3","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}