%0 Conference Proceedings
%F benke93
%A Benke, Marcin
%T Efficient type reconstruction in the presence of inheritance
%B Proc. Mathematical Foundations of Computer Science (MFCS)
%E Borzyszkowski, A. M.
%E Sokolowski, S.
%P 272-280
%I Springer-Verlag
%D 1993
%K parametricity