Lambda-dropping: transforming recursive equations into programs with block structure (1997)

by O Danvy, U P Schultz
Venue:in ‘Proceedings of the 1997 ACM SIGPLAN symposium on Partial