Implicit Coercions in Type Systems (1995)

Cached

Download Links

by Gilles Barthe
Venue:In Selected Papers from the International Workshop TYPES '95
Citations:15 - 1 self