Slides from Some Recent Talks
Here are the PDF versions of the slides I used for some of the talks I have given in the last few years:
Practical Higher-Order Pattern Unification with On-the-Fly Raising
Most recently given at Ecole Polytechnique.
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages
Presentation accompanying a paper at LPAR'05.
Mixing Finite Success and Finite Failure in an Automated Theorem Prover
Presentation accompanying a paper at ESHOL'05.
The Suspension Notation as a Calculus of Explicit Substitutions
Most recently given as a Principles of Programming Seminar at CMU.
The Metalanguage λProlog and Its Implementation
Most recently given as a Preuves, Programmes et Systemes Working Group Seminar, CNRS-Universite Paris-Sud.
Last updated on February 19, 2006 by email@example.com