Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.

Shinn-Der Lee, Daniel P. Friedman

Browse the full ICFP paper archive.