Backwards analysis of functional programs (1988)

by J Hughes
Venue:In Proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation