Exploiting reachability and cardinality in higher-order flow analysis
MIGHT, MATTHEW, SHIVERS, OLINVolume:
18
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796808006941
Date:
September, 2008
File:
PDF, 307 KB
english, 2008