Projection Factorisation in Partial Evaluation (1990)

by John Launchbury