Data-flow analysis and type recovery in Scheme (1990)

by Olin Shivers
Venue:School of Computer Science