Satish R. Thatte Quasi-Static Typing. 367-381 1990 conf/popl/1990 POPL db/conf/popl/popl90.html#Thatte90 http://doi.acm.org/10.1145/96709.96747