A gentle introduction to semantic subtyping (2005)

by Giuseppe Castagna, Alain Frisch
Venue:In PPDP ’05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming