Safety analysis versus type inference (1995)

by Jens Palsberg, Michael I Schwartzbach
Venue:Information and Computation