Type-based useless-variable elimination. (2001)

by N Kobayashi
Venue:Higher-Order and Symbolic Computation,