Strictness analysis on non-flat domains (by abstract interpretation (1987)

by P Wadler
Venue:In Abstract Interpretation of Declarative Languages (S Abramsky and C