Travelled to:1 × Denmark
2 × USA
Collaborated with:D.P.Friedman S.Jefferson
Talks about:theori (2) scope (2) parameter (1) increment (1) construct (1) transpar (1) calculus (1) variabl (1) syntact (1) program (1)
Person: Shinn-Der Lee
DBLP: Lee:Shinn=Der
Contributed to:
1996
1993
1990Wrote 3 papers:
- ICFP-1996-LeeF #formal method #incremental #towards #λ-calculus
- Enriching the λ Calculus with Contexts: Toward a Theory of Incremental Program Construction (SDL, DPF), pp. 239–250.
- POPL-1993-LeeF #multi
- Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.
- ESOP-1990-JeffersonLF
- A Syntactic Theory of Transparent Parameterization (SJ, SDL, DPF), pp. 212–226.