Title: Higher-order subtyping
First published: 1994
Subjects: Lambda calculus, Object-oriented programming (Computer science)