Quasi-static typing (preliminary report (1990)

by Satish R Thatte
Venue:In Proceedings of the Seventeenth ACM Symposium on Principles of Programming Languages