Control-flow analysis of functional programs (2010)

by J Midtgaard
Venue:ACM Computing Surveys