Automatic autoprojectin of recursive equations with global variables and data types (1991)

by Anders Bondorf, Olivier Danvy
Venue:Science of Computer Programming