I'm now a computer scientist at Kestrel
Institute. Before that, I was a graduate student in computer
science at Columbia University and was also unofficially visiting Project MAC at MIT. My
interests are in
My thesis was on building interpreters from reusable parts using monad
transformers (see below).
- Programming language design and implementation.
- Formal methods for specification and verification.
- New software architectures, including operating systems.
These files contain Scheme code implementing the ideas in the above
papers. All files are in compressed tar format, and all but the first
two are somewhat specific to MIT Scheme.
Here are some interesting papers on monads. Wadler's "Essence" paper
is a now-classic introduction. Also, if you are familiar with monads
from the functional programming point of view but have never tried to
read Moggi, you might want to look at his notes; the difference in
point of view is remarkable.
- An Abstract View of
Programming Languages, Eugenio Moggi, Stanford course notes 1989.
- The Essence of Functional
Programming, Philip Wadler, POPL 1992.
- Combining Monads,
Philip Wadler and David King, Glasgow technical report 1992.
- Composing monads, Mark
Jones and Luc Duponcheel, Yale technical report 1992.
- Building Interpreters by
Composing Monads, Guy L. Steele, POPL 1994.
- Extensible Denotational
Language Specifications, Matthias Felleisen and Robert Cartwright,
- Monad Transformers and
Modular Interpreters, Sheng Liang, Mark Jones, and Paul Hudak,
- Modular Denotational
Semantics for Compiler Construction, Sheng Liang and Paul Hudak,
ESOP 1995 (?).
Useful web links
Miscellaneous Scheme programs
(415) 493-6871 (work)