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.
No references recorded for this publication.
No citations of this publication recorded.