Abstract Interpretation of Higher Order Functions using Concrete Data Structures (1992)

by Alex Ferguson, John Hughes
Venue:in Functional Programming