DMCA

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

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:11 - 1 self