Deciding type isomorphisms in a type assignment framework (1992)

by Roberto Di Cosmo
Venue:Journal of Functional Programming