Searching for "Inferring Type Isomorphisms Generically." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Inferring Type Isomorphisms Generically
by Frank Atanassow, Johan Jeuring — Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS
…Inferring Type Isomorphisms Generically Frank Atanassow and Johan Jeuring Institute of Information…
Cited by 10 (6 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB