%0 Conference Proceedings
%F wa86
%A Wand, M.
%T Finding the Source of Type Errors
%B Proc. IEEE Symp. on Logic in Computer Science
%P 38-43
%8 June
%D 1986
%K dyntyp