Keywords: programming language design and implementation, run-time
code generation, automatic program specialization, partial evaluation,
- 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.
The content of these pages is distributed under the terms of the
- markup - a scheme hypertext
system generating latex and html.
- fnord - a mathematical (especially
calculus, differential geometry, and complex functions) visualization
- nitrous - a compiler generator for
- simple - a formal system
demonstrating cyclic values. ba.adt and ba.sim implement cyclic values in Similix.