S. Jefferson;S.-D. Lee;D. P. Friedman
-;-;-
Enriching the lambda calculus with contexts: toward a theory of incremental program construction
Proceedings of the first ACM SIGPLAN international conference on Functional programming