Efficient algorithms for isomorphisms of simple types (0)

by Yoav Zibin, Joseph Gil, Jeffrey Considine
Venue:In Proc. 2003 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL