A type-based compiler foor Standard ML (1995)

by Zhong Shao, Andrew Appel
Venue:In Proceedings of the ACM SIGPLAN ’95 Conference on Programming Language Design and Implementation