Yoav Zibin, Joseph Gil, Jeffrey Considine. Efficient algorithms for isomorphisms of simple types. In POPL. pages 160-171, 2003. [doi]
@inproceedings{ZibinGC03, title = {Efficient algorithms for isomorphisms of simple types}, author = {Yoav Zibin and Joseph Gil and Jeffrey Considine}, year = {2003}, doi = {10.1145/640128.604146}, url = {http://doi.acm.org/10.1145/640128.604146}, researchr = {https://researchr.org/publication/ZibinGC03}, cites = {0}, citedby = {0}, pages = {160-171}, booktitle = {POPL}, }