Slides from Some Recent Talks

• 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.