Research
Keywords: programming language design and implementation, runtime
code generation, automatic program specialization, partial evaluation,
interactive graphics.
bibtex references
Publications:
Other docs:
 slides from my defense
 the slides for my job talk.

my research statement (a two page summary) in html and postscript. This was written in 2/97.
Software:
 markup  a scheme hypertext
system generating latex and html.
 fnord  a mathematical (especially
calculus, differential geometry, and complex functions) visualization
system.
 nitrous  a compiler generator for
interactive graphics
 simple  a formal system
demonstrating cyclic values. ba.adt and ba.sim implement cyclic values in Similix.
The content of these pages is distributed under the terms of the
OpenContent License.