Semantic subtyping with an SMT solver (2010)

by G M Bierman, A D Gordon, C Hrit¸cu, D Langworthy
Venue:In ICFP