Computing with coercions (1990)

by V Breazu-Tannen, C A Gunter, A Scedrov
Venue:In Proc. ACM Conf. LISP and functional programming