Research
Keywords: programming language design and implementation, run-time
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.