Automatic Generation of Very Efficient Programs by Generalized Partial Computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (APLAS, 2000)

Program Transformation System Based on Generalized Partial Computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (New Gener. Comput., 2001)

Recursion Removal from Recursive Programs with One Descent Function. - Yusuke Ichikawa; Zenjiro Konishi; Yoshihiko Futamura (APLAS, 2002)

WSDFU: Program Transformation System Based on Generalized Partial Computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (The Essence of Computation, 2002)

Automatic generation of efficient string matching algorithms by generalized partial computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (ASIA-PEPM, 2002)

Recursion Removal from Recursive Programs with Only One Descent Function. - Yusuke Ichikawa; Zenjiro Konishi; Yoshihiko Futamura (IEICE Trans. Inf. Syst., 2005)