Strongly typed flow-directed reprsentation transformations (1997)

by A Dimock, R Muller, F Turbak, J B Wells
Venue:In 1997 ACM SIGPLAN International Conference on Functional Programming