@article{Waddell:fixing-letrec, author = {Oscar Waddell and Dipanwita Sarkar and R. Kent Dybvig}, title = {Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct}, journal = {Higher-order and and symbolic computation}, year = 2004, texturl = "http://www.cs.indiana.edu/~dyb/pubs/fixing-letrec.pdf", abstracturl = "http://www.cs.indiana.edu/~dyb/pubs/fixing-letrec-abstract.html", note = "to appear", annote = {Describes how Chez Scheme handles {\tt letrec} expressions efficiently and with full enforcement of the revised report's restriction preventing evaluation of left-hand-side variable references and assignments before the righ-hand sides have been evaluated.}}