Making Mercury programs tail recursive (1999)

by P Ross, D Overton, Z Somogyi
Venue:In Procs. of LOPSTR99, LNCS 1817