%O BookSection 
%F ha87
%A Hancock, P.
%T Polymorphic Type Checking
%B The Implementation of Functional Programming Languages
%E Peyton-Jones, S.

%I Prentice-Hall
%D 1987
%K parametricity