Correctness of a region-based binding-time analysis (1997)

by Peter Thiemann
Venue:Carnegie Mellon University, Elsevier Science BV