Fully Lazy Higher-Order Removal

@inproceedings{Chin1992FullyLH,
  title={Fully Lazy Higher-Order Removal},
  author={Wei-Ngan Chin},
  booktitle={PEPM},
  year={1992}
}