Implicit coercions in type systems (1996)

by G Barthe
Venue:Proceedings of TYPES'95, Springer-Verlag