Compilation of extended recursion in call-by-value functional languages (2003)

by T Hirschowitz, X Leroy, J B Wells
Venue:In Princ. and Practice of Decl. Prog