Implicit Coercions in Type Systems (1995)

by G Barthe
Venue:In: Proc. TYPES