Lisping at JPL (2002)

Explorations in the untyped lambda calculus

Lisping at JPL

The Rise and Fall of Lisp at JPL

Lisping at JPL

Why CSS should not be used for layout

The idiot's guide to special variables and lexical closures (2003)

Lisping at JPL (2002)

The awesome power of theory: explorations in the untyped λ calculus

Quantum mysteries disentangled [pdf]

Lisp as an alternative to Java (2000) [pdf]

Lisping at JPL

Lisping at JPL