Quasi-static typing (1990)

by S Thatte
Venue:In Proc. of ACM POPL’90