Cornell University / Analysis Facility / Computer Science Carnegie Mellon University / Carnegie Mellon University / University of Edinburgh / /
IndustryTerm
usual solution / compiler generation systems / Correct applications / incorrect applications / Formal syntactic systems / link integrating diverse tools / natural unification algorithm / conceptual device / unification algorithm / higher-order unification algorithm / uniform proof systems / proof systems / formal systems / proof search / variable applications / /
Organization
Defense Advanced Research Projects Agency / Laboratory for Foundations of Computer Science / office of Naval Research / Alonzo Church / Department of Computer Science / Cornell / University of Edinburgh / Higher-Order Abstract Syntax∗ Frank Pfenning† Conal Elliott† Department of Computer Science Carnegie Mellon University Pittsburgh / Carnegie Mellon University / Cornell University / Laboratory for Foundations / Association for Computing Machinery / /
Person
Huet Lang / Gopalan Nadathur / Andre Scedrov / Gordon Plotkin / R. M. Burstall / Rolf Bahlke / Arnon Avron / Dale A. Miller / Timothy G. Griffin / Bernard Lang / Robert Harper / Ian A. Mason / John Darlington / David Garlan / Gregor Snelting / Furio A. Honsell / Dale Miller / /
Position
Attribute Grammar Evaluator / programmer / /
ProgrammingLanguage
Lambda Calculus / Prolog / Pascal / Lisp / Common Lisp / C / ML / /
ProvinceOrState
Pennsylvania / New York / /
PublishedMedium
Theoretical Computer Science / The Journal of Systems and Software / /
Technology
higher-order unification algorithm / natural unification algorithm / unification algorithm / X window system / /
Higher-Order Abstract Syntax∗ Frank Pfenning†