Abstract Interpretation and Optimising Transformations for Applicative Programs (1981)

by A MYCROFT