David Espinosa

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).



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.

Related papers

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.

Useful web links


Miscellaneous Scheme programs

David Espinosa
(415) 493-6871 (work)