A theory of typed coercions and its applications (2009)

by N Swamy, M Hicks, G M Bierman
Venue:In International Conference on Functional Programming (ICFP