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

Cached

Download Links

by Ranjit Jhala , Rupak Majumdar , Ru-gang Xu
Venue:In Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems
Citations:9 - 1 self