Analysing strictness by abstract interpretation of continuations (1987)

by R J M Hughes
Venue:In Abstract Interpretation of Declarative Languages