Research Papers

These are most of my research papers, grouped by rough subject classifications.

Types and Language Design

Types and Compilation

Certifying Compilers

Logical Frameworks

Scientific Computing

Computation and Information Grids

Self-Adjusting Computation

Security

Other Topics

Last modified: Mon Mar 3 11:21:16 EST 2014