Inferring Type Isomorphisms Generically (0)

Cached

Download Links

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