A typed intermediate language for flow-directed compilation (0)

by J B Wells, A Dimock, R Muller, F Turbak
Venue:In 7th International Joint Conference on Theory and Practice of Software Development (TAPSOFT97