Data Flow Analysis and Type Recovery in Scheme (1991)

by Olin Shivers
Venue:In Topics in Advanced Language Implementation