Follow-up Resources Luis Damas; Robin Milner. Principal type-schemes for functional programs. Christopher Strachey. Fundamental Concepts in Programming Languages; Popular origin of the parametric/ad-hoc polymorphism distinction.