%0 Conference Proceedings
%F mmms87
%A Meyer, A.
%A Mitchell, J.
%A Moggi, E.
%A Statman, R.
%T Empty Types in Polymorphic Lambda Calculus
%B Proc. 14th Annual ACM Symp. on Principles of Programming Languages
%P 253-262
%8 January
%D 1987
%K parametricity
%K  typetheory