Abstract interpretation of first-order polymorphic functions (1988)

by R J M Hughes
Venue:Group, Chalmers University