A theory of typed coercions and its applications (2009)

by N Swamy, M Hicks, G Bierman
Venue:Microsoft Research