A Theory of Typed Coercions and Its Applications (2009)

by N Swamy, M Hicks, G M Bierman
Venue:In ICFP ’09. ACM