Coercive subtyping (1999)

by Z Luo
Venue:Journal of Logic and Computation