Projection Analysis of Functional Programs (1991)

by J Launchbury