Typed cross-module compilation (1998)

by Zhong Shao
Venue:In ICFP ’98: Proceedings of the third ACM SIGPLAN international conference on Functional programming