Wei-Ngan Chin Fully Lazy Higher-Order Removal. 38-47 1992 PEPM db/conf/pepm/pepm92.html#Chin92