A Theory of Typed Coercions and its Applications

by Nikhil Swamy , Michael Hicks , Gavin M. Bierman
Citations:9 - 2 self