Coercive subtyping. Journal of Logic and Computation (1999)

by Zhaohui Luo