A General Framework for Models of Type Polymorphism (1988)

by B R Narayanan