1996 | ||
---|---|---|
4 | Shinn-Der Lee, Daniel P. Friedman: Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. ICFP 1996: 239-250 | |
1993 | ||
3 | Shinn-Der Lee, Daniel P. Friedman: Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. POPL 1993: 479-492 | |
1992 | ||
2 | Shinn-Der Lee, Daniel P. Friedman: First-Class Extents. Lisp and Symbolic Computation 5(4): 343-375 (1992) | |
1990 | ||
1 | Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman: A Syntactic Theory of Transparent Parameterization. ESOP 1990: 212-226 |
1 | Daniel P. Friedman | [1] [2] [3] [4] |
2 | Stanley Jefferson | [1] |