Degrees: PHD, 1995, Univ Pennsylvania; BS, 1989, Univ Oregon

Bio:

My research interests include proof theory, higher-order programming languages, type theory, compilation and automated deduction.

Selected List of Research Papers:

• Lambda Prolog Implementaion of Ripple-Rewriting.
• Specifying Object-Level Unification in Lambda Prolog.
• Dissertation Proposal.
• Doctoral Thesis. Defended on September 22nd, 1995 at the University of Pennsylvania .
• Substitutions for Proofs and Types as Logic Programming.
• Let Polymorphism and Eager Type Schemes.
• Free Variables and Subexpressions in Higher-Order Meta Logic.
• A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.
• Compiler Construction in Higher Order Logic Programming.
• Tradeoffs in the Intensional Representation of A Framework for Distributed Interoperation Based On Higher-Order Meta-Logic
• Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Context. With Gopalan Nadathur and Xiaochu Qi. Minnesota.
• Aspect-Oriented Programming in Higher-Order and Linear Logic
• Focusing and Polarization in Intuitionistic Logic. With Dale Miller.
• On Focusing and Polarities in Linear Logic and Intuitionistic Logic. With Dale Miller. Long version.