Strongly typed flow-directed representation transformations (1997)

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