Publications by Frank Pfenning

1991 • ACM Sigplan Notices • 26(6):268-277
Freeman T, Pfenning F

1991 74-85
Pfenning F

1991 • Annals of Pure and Applied Logic • 51(1-2):125-157
MILLER D, NADATHUR G, PFENNING F, SCEDROV A

1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 442:209-228
PFENNING F, PAULINMOHRING C

1990 • MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS / • 442:209-228
PFENNING F, PAULINMOHRING C

1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449:336-350
Pfenning F, Nesmith D

1990 • Contemporary Mathematics (Singapore) • 106:251-262
Pfenning F

1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449 LNAI:641-642
Andrews PB, Issar S, Nesmith D, Pfenning F

1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449:641-642
Andrews PB, Issar S, Nesmith D, Pfenning F

1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449:682-682
Felty A, Gunter E, MIller D, Pfenning F

1989 313-322
Pfenning F

1989 447-449
Dietzen S, Pfenning F

1989 • Journal of Symbolic Logic (JSL) • 54(1):288-289
Pfenning F

1989 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 352:345-359
PFENNING F, LEE P

1989 • ACM Sigplan Notices • 24(2):110-120
NORD RL, PFENNING F

1989 • ACM Sigplan Notices • 24(2):25-34
LEE P, PFENNING F, ROLLINS G, SCHERLIS W

1988 • ACM Sigplan Notices • 23(7):199-208
Pfenning F, Elliott C

1988 • ACM Sigplan Notices • 23(7):199-208
PFENNING F, ELLIOTT C

1988 153-163
Pfenning F

1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 310:710-713
PFENNING F

1988 • Software Engineering Notes • 13(5):110-120
Nord RL, Pfenning F

1988 110-120
Nord RL, Pfenning F

1988 25-34
Lee P, Pfenning F, Rollins G, Scherlis W

1988 • Software Engineering Notes • 13(5):25-34
Lee P, Pfenning F, Rollins G, Scherlis W

1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 310:760-761
ANDREWS PB, ISSAR S, NESMITH D, PFENNING F