Constraints to Stop Higher-Order Deforestation (1997)

by H Seidl, M H Sørensen
Venue:Proceedings of the Twelfth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages