Shinn-Der Lee, Daniel P. Friedman. Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. In ICFP. pages 239-250, 1996.
@inproceedings{LeeF96:1,
title = {Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction},
author = {Shinn-Der Lee and Daniel P. Friedman},
year = {1996},
tags = {context-aware, incremental},
researchr = {https://researchr.org/publication/LeeF96%3A1},
cites = {0},
citedby = {0},
pages = {239-250},
booktitle = {ICFP},
}