Type-based useless variable elimination (2000)

by N Kobayashi
Venue:In Proc. of PEPM