A Calculus of Coercive Subtyping by (2009)

Cached

Download Links

by Fi Mu , Matej Kollár , Libor Škarvada , Faculty Of Informatics , Matej Kollár , Libor Škarvada