Login / Signup

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

Shinn-Der LeeDaniel P. Friedman
Published in: ICFP (1996)
Keyphrases