Yoav Zibin, Joseph Yossi Gil, Jeffrey Considine
Efficient algorithms for isomorphisms of simple types
POPL, 2003.
@inproceedings{POPL-2003-ZibinGC,
author = "Yoav Zibin and Joseph Yossi Gil and Jeffrey Considine",
booktitle = "{Conference Record of the 30th Symposium on Principles of Programming Languages}",
doi = "10.1145/640128.604146",
editor = "Alex Aiken and Greg Morrisett",
isbn = "1-58113-628-5",
pages = "160--171",
publisher = "{ACM}",
title = "{Efficient algorithms for isomorphisms of simple types}",
year = 2003,
}