How can letrec be implemented without using set!?
It seems to me that set! is an imperative programming construct, and that by using it, one loses the benefits of functional programming.
I know usually we ask content to be copied but there is no short answer to your question. http://www.cs.indiana.edu/~dyb/pubs/fixing-letrec.pdf