• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Frank Pfenning, Conal Elliott
  • Computer Science
  • PLDI '88
  • 1988 (First Publication: 1 June 1988)
  • We describe motivation, design, use, and implementation of higher-order abstract syntax as a central representation for programs, formulas, rules, and other syntactic objects in program manipulationExpand
  • Frank Pfenning, Rowan Davies
  • Computer Science, Mathematics
  • Math. Struct. Comput. Sci.
  • 2001 (First Publication: 1 August 2001)
  • We reconsider the foundations of modal logic, following Martin-Lof's methodology of distinguishing judgments from propositions. We give constructive meaning explanations for necessity andExpand
  • Frank Pfenning
  • Mathematics
  • 1991 (First Publication: 1 October 1991)
  • 3 A Meta-Logic for Unification 4 3.1 A First-Order Unification Logic with Quantifier Dependencies . . . . . . . . . . . . . 5 3.2 Transformations for First-Order Unification . . . . . . . . . . . . .Expand
  • Timothy S. Freeman, Frank Pfenning
  • Computer Science
  • PLDI '91
  • 1991 (First Publication: 1 May 1991)
  • Abstract : Programming computers is a notoriously error-prone process. It is the job of the programming language designer to make this process more reliable. One approach to this is to impose someExpand