zgc2003

Yoav Zibin, Joseph Gil, Jeffrey Considine. Efficient Algorithms for Isomorphisms of Simple Types. In Proc. 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), SIGPLAN Notices, Vol. 38, No. 1, Pages 160-171, January 2003.

Keyword

[ Rectype ]

Contact

Yoav Zibin
Joseph Gil
Jeffrey Considine

BibTex Reference

@InProceedings{zgc2003,
   Author = {Zibin, Yoav and Gil, Joseph and Considine, Jeffrey},
   Title = {Efficient Algorithms for Isomorphisms of Simple Types},
   BookTitle = {Proc. 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
   Pages = {160--171},
   Publisher = {ACM Press},
   Month = {January},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)