%0 Conference Proceedings
%F katayama84
%A Katayama, T.
%T Type Inference and Type Checking for Functional Programming Languages - A Reduced Computation Approach
%B Conf. Rec. of the 1984 ACM Symp. on LISP and Functioal Programming
%P 263-272
%8 August
%D 1984
%K parametricity