A Unified Framework of Flow Analysis in HIgher-Order Languages (1995)

by Suresh Jagannathan, Stephen Weeks
Venue:In Conference Record of POPL '95: 22nd ACM SIGPLAN -SIGACT Symposium on Principles of Programming Languages