Fully lazy higher-order removal (1992)

by W-N Chin
Venue:In Proceeding of the ACM SIGPLAN Syposium on Partial Evaluation and Semantics-Based Program Manipulation