Visual type inference. - Erwig, Martin (J. Vis. Lang. Comput., 2006)