Implicit coercions in type systems (1996)

by G Barthes
Venue:Proceedings of Types'95, LNCS 1128