Control-flow analysis of functional programs (2012)

by J Midtgaard
Venue:ACM Computing Surveys