00:00

1747

Semantic Subtyping with an SMT Solver by Gavin Bierman, Andrew Gordon, Catalin Hritcu and David Langworthy

from Scott Smith 2 years ago not yet rated

International Conference on Functional Programming (ICFP)
Baltimore, MD 2010
ACM SIGPLAN

Follow Add to… Stats Download

Loading more stuff…

TM + © 2013 Vimeo, LLC. All rights reserved.

Made with k in NYC.

Language: English