Strongly typed flow-directed reprsentation transformations (1997)

by Allyn Dimock, Robert Muller, Franklyn Turbak, J B Wells
Venue:In ACM SIGPLAN International Conference on Functional Programming