Semantic subtyping with an SMT solver.

Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy

Browse the full ICFP paper archive.