A theory of typed coercions and its applications (0)

by Nikhil Swamy, Michael W Hicks, Gavin M Bierman
Venue:In Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009