13.13 Notes and Further Reading

An efficient implementation of first-class continuations in Scheme is given in Hieb, Dybvig, and Bruggeman (1990). The language specification of Scheme requires implementations to implement tail-call optimization (Sperber et al. 2010). For an overview of control abstractions in programming languages, especially as related to user-interface software and the implementation of human–computer dialogs, we refer the reader to Pérez-Quiñones (1996, Chapter 4). For more information about the CPS transformation, we refer the reader to Feeley (2004), Friedman, Wand, and Haynes (2001, Chapter 8), and Friedman and Wand (2008, Chapter 6). The term coroutine was first used by Melvin E. Conway (1963).