Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis (1994)

by C Hankin, D Le Métayer
Venue:In POPL ’94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages