Selected papers that cite this one
- Eerke A. Boiten. Improving recursive functions by inverting the order of evaluation. Science of Computer Programming, 18(2):139-179, April 1992.
- William D. Clinger. Proper tail recursion and space efficiency. In Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation (PLDI), pages 174-185, Montreal, Canada, 17-19 June 1998. SIGPLAN Notices 33(5), May 1998.
- Natarajan Shankar. Steps toward mechanizing program transformations using PVS. Science of Computer Programming, 26(1-3):33-57, May 1996.