Programming languages such as Scala and (sufficiently recent versions of) Java combine parametric polymorphism with subtyping.

There are multiple solutions for how to design a language with these two features, but they are beyond this course

• Types and Programming Languages
• Foundations of software course
• Generics in Java