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

by P L Wadler
Venue:Abstract interpretation of declarative languages