Computing types during program specialization (1990)

by D Weise, E Ruf