%0 Conference Proceedings
%F cosmo92
%A Cosmo, R.
%T Type Isomorphisms in a Type-Assignment Framework
%B Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico
%P 200-210
%I ACM Press
%8 January
%D 1992
%K rectype