Inferring Type Isomorphisms Generically.

Frank Atanassow, Johan Jeuring

Browse the full MPC paper archive.