Incremental inference of concrete types - Plevyak, John; Chien, Andrew A. (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1993)