An equational framework for the flow analysis of higher order functional programs (1994)

by D Strfanescu, Y Zhou
Venue:In LFP