Concepedia

Frank Pfenning

FP

103

Publications

7.4K

Citations

43

H-Index

1979

Active since

Affiliations

Carnegie Mellon University(Current)

Frank Pfenning is an author at Carnegie Mellon University specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

1979–2022

103

Publications

103

Higher-order abstract syntax

Frank Pfenning, Conal Elliott · ACM SIGPLAN Notices · 1988 · 583 citations · Full text

, , +20

Dependent types in practical programming

Hongwei Xi, Frank Pfenning · 1999 · 576 citations · Full text

, , +11

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 570 citations

A judgmental reconstruction of modal logic

Frank Pfenning, Rowan Davies · Mathematical Structures in Computer Science · 2001 · 347 citations

, , +12

Higher-order abstract syntax

Frank Pfenning, Conal Elliott · 1988 · 340 citations · Full text

, , +20

Rows per page

1–5 of 103