Strongly-typed flow-directed representation transformations (1997)

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