Higher-order removal transformation technique for functional programs (1992)

by W-N Chin, J Darlington
Venue:In Proc. of 15th Australian Computer Science Conference