Conal Elliott

Thesis Title: Extensions and Applications of Higher-Order Unification
Degree Type: Ph.D. in Computer Science
Advisor(s): Frank Pfenning
Graduated: May 1990