- 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 gopalan@cs.umn.edu