%0 Conference Proceedings
%F zgc2003
%A Zibin, Yoav
%A Gil, Joseph
%A Considine, Jeffrey
%T Efficient Algorithms for Isomorphisms of Simple Types
%B Proc. 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
%P 160-171
%I ACM Press
%8 January
%D 2003
%K rectype