Efficient algorithms for isomorphisms of simple types.

Yoav Zibin, Joseph Gil, Jeffrey Considine

Browse the full POPL paper archive.