Topics in Advanced Language Implementation, chapter Data-Flow Analysis and Type Recovery in Scheme (1991)

by Olin Shivers