Deciding type isomorphisms in a type assignment framework (1993)

by R Di Cosmo
Venue:Journal of Functional Programming