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 2010
Venue : ICFP
External Link: https://doi.org/10.1145/1863543.1863560
01 September 2010
Venue : ICFP
External Link: https://doi.org/10.1145/1863543.1863560