Coercive subtyping (1997)

by Luo97 Z Luo
Venue:Journal of Logic and Computation