Frank Pfenning

Higher-order abstract syntax

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

Computing, Computer Science, Formal Methods +10

Dependent types in practical programming

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

Computing, Computer Science, Compilers +16

Uniform proofs as a foundation for logic programming

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

Computing, Computer Science, Logic +16

A judgmental reconstruction of modal logic

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

Humanities, Mathematics, Formal Methods +15

Higher-order abstract syntax

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

Computing, Computer Science, Formal Methods +10