R. D. Tennent
-
Parametricity and local variables
Journal of the ACM (JACM)
Design and static semantics of algorithm languageL
ACM SIGPLAN Notices
Parametric And Type-Dependent Polymorphism
Fundamenta Informaticae