Fully Lazy Higher-Order Removal

Wei-Ngan Chin. Fully Lazy Higher-Order Removal. In PEPM. pages 38-47, 1992.

Abstract

Abstract is missing.