State of the union: Type inference via craig interpolation. (2007)

by R Jhala, R Majumdar, R-G Xu
Venue:In TACAS,