Higher-Order Redundancy Elimination

Peter Thiemann. Higher-Order Redundancy Elimination. In PEPM. pages 73-83, 1994.

Abstract

Abstract is missing.