Type-Based Useless-Variable Elimination

Naoki Kobayashi. Type-Based Useless-Variable Elimination. Higher-Order and Symbolic Computation, 14(2-3):221-260, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: