P.: TIL: A Type-Directed Optimizing Compiler for ML (1996)

by P Cheng
Venue:In: Proc. ACM SIGPLAN ’96 Conference on Programming Language Design and Implementation