Publications by Frank Pfenning

2001 • Journal of the ACM • 48(3):555-604
Davies R, Pfenning F

2001 1063-1147
Pfenning F

2001
Momigliano A, Pfenning F

2001 • Proceedings - Symposium on Logic in Computer Science • 221-230
Pfenning F

2001
Harper R, Pfenning F

2001 • Theoretical Computer Science • 266(1-2):1-57
Schürmann C, Despeyroux J, Pfenning F

2000 • Annals of Mathematics and Artificial Intelligence • 29(1-4):
Gramlich B, Kirchner H, Pfenning F

2000 • Theoretical Computer Science • 232(1-2):133-163
Cervesato I, Hodas JS, Pfenning F

2000 • ACM Sigplan Notices • 35(9):198-208
Davies R, Pfenning F

2000 • ACM Sigplan Notices • 35(9):198-208
Davies R, Pfenning F

2000 • Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation • 33
Pfenning F

2000 • Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Gabbrielli M, Pfenning F

2000 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1924:5-6
Pfenning F

2000 • Information and Computation • 157(1-2):84-141
Pfenning F

1999
Davies R, Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1657:179-193
Pfenning F, Schürmann C

1999 406-419 vol.1
Crary K, Harper R, Lee P, Pfenning F

1999 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 214-227
Xi H, Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1702:206-206
Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1702:206-206
Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1581:295-309
Polakow J, Pfenning F

1999 • Electronic Notes in Theoretical Computer Science • 26:21-33
Danvy O, Dzafic B, Pfennin F

1999 33
Pfenning F

1999 • ACM Sigplan Notices • 34(11):33-33
Pfenning F

1999 • Electronic Notes in Theoretical Computer Science • 20:449-466
Polakow J, Pfenning F