J. Fairbairn
Univ. of Cambridge
An ad hoc approach to the implementation of polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Subtypes and quantification