A theory of typed coercions and its applications.

Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman

Browse the full ICFP paper archive.