Research

Keywords: programming language design and implementation, run-time code generation, automatic program specialization, partial evaluation, interactive graphics.

bibtex references

Publications:

Other docs:
  1. slides from my defense
  2. the slides for my job talk.
  3. my research statement (a two page summary) in html and postscript. This was written in 2/97.
Software:
  1. markup - a scheme hypertext system generating latex and html.
  2. fnord - a mathematical (especially calculus, differential geometry, and complex functions) visualization system.
  3. nitrous - a compiler generator for interactive graphics
  4. 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.

Take One!