%0 Conference Proceedings
%F eismtr95
%A Eifrig, Jonathan
%A Smith, Scott
%A Trifonov, Valery
%T Type Inference for Recursively Constrained Types and its Application to {OOP}
%B Proc. 11th Conf. on the Mathematical Foundations of Programming Semantics (MFPS)
%8 April
%D 1995
%K parametricity