Flow Analysis of Typed Higher-Order Programs (1996)

by C Mossin