An equational framework for flow analysis of higher-order functional programs (1994)

by D Stefanescu, Y Zhou
Venue:In Proceedings of ACM Conference on LISP and Functional Programming