Recursion Removal from Recursive Programs with One Descent Function.

Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura

Browse the full APLAS paper archive.