Recommend reading:
- 'Three Steps for the CPS Transformation' (1991) by Olivier Danvy
- Section 3 of 'Defunctionalization at Work' (2001) by Olivier Danvy, Lasse
R. Nielsen
- Section 2.1 of 'A Functional Correspondence between Evaluators and
Abstract Machines' (2003) by Mads Sig Ager, Dariusz Biernacki, Olivier
Danvy, Jan Midtgaard
Add bibliography comment near top of
waxeye.sml
.