Semantic subtyping with an SMT solver.
Semantic subtyping with an SMT solver.
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
01 September 2012
Venue : J. Funct. Program.
External Link: https://doi.org/10.1017/S0956796812000032