%0 Conference Proceedings
%F thatte91b
%A Thatte, Satish
%T Coercive Type Equivalence
%B Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Cambridge, Massachusetts
%P 406-426
%I Springer
%8 August
%D 1991
%K rectype