A Syntactic Theory of Transparent Parameterization. - Stanley Jefferson; Shinn-Der Lee; Daniel P. Friedman (ESOP, 1990)

First-Class Extents. - Shinn-Der Lee; Daniel P. Friedman (LISP Symb. Comput., 1992)

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. - Shinn-Der Lee; Daniel P. Friedman (POPL, 1993)

Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. - Shinn-Der Lee; Daniel P. Friedman (ICFP, 1996)