A Calculus of Coercive Subtyping (2009)

Cached

Download Links

by Matej Kollár , Ondrej Peterka , Ondrej Rysavy , Libor Škarvada