%0 Conference Proceedings
%F mitchell91b
%A Mitchell, J.
%T On Abstraction and the Expressive Power of Programming Languages
%B Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan
%E Ito, T.
%E Meyer, A.
%P 290-310
%I Springer
%8 September
%D 1991
%K parametricity