%0 Conference Proceedings
%F mc84
%A McCracken, N.
%T The Typechecking of Programs with Implicit Type Structure
%B Proc. Int'l Symp. on Semantics of Data Types
%P 301-316
%I Springer-Verlag
%8 June
%D 1984
%K parametricity