Coercive subtyping (1999)

by Zhaohui Luo
Venue:Journal of Logic and Computation