Coercive type isomorphism (1991)

by S R Thatte
Venue:In Functional Programming Languages and Computer Architecture