Sunday, 5 December 2010

Semantic subtyping with an SMT Solver

After what seems like a very long time, I'm happy to report that - just in time for the holiday season - the extended version of our ICFP paper is now available (here). Enjoy!
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)