Computing types during program specialization (1990)

by Daniel Weise, Erik Ruf