Implicit coercions in type systems (1996)

by Gilles Barthe
Venue:Types for Proofs and Programs