Inferring Type Isomorphisms Generically (0)
by
Frank Atanassow
,
Johan Jeuring
| Venue: | Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS |
| Citations: | 11 - 7 self |
BibTeX
@INPROCEEDINGS{Atanassow_inferringtype,
author = {Frank Atanassow and Johan Jeuring},
title = {Inferring Type Isomorphisms Generically},
booktitle = {Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS},
year = {},
pages = {32--53},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Datatypes which di#er inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved.
