Type-based useless variable elimination (2000)

by Naoki Kobayashi
Venue:In ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation