2016-04-02
A Note on Recursion
This note complements the chapter on recursion from PLAI (Chapters 9 and 10).
This note includes two parts. A semantic part, which discusses the necessity (or not) of defining a recursive binding construct like letrec (or rec in the language we implement), and an implementation part, which discusses tail recursion (and more generally, tail call) optimization.