coercive type isomorphism (1991)

by Satish Thatte
Venue:In Functional Programming and Computer Architecture