Soft typing (1991)

by R Cartwright, M Fagan
Venue:Proc. of the ACM Symp. on PLDI