Publications by Frank Pfenning

2026 • Science of Computer Programming • 248:
Francalanza A, Tabone G, Pfenning F

2026
Roshal S, Pfenning F

2026 • Proceedings of the ACM on Programming Languages • 10(POPL):
Gouni H, Pfenning F, Aldrich J

2025
Chen Z, Pfenning F

2025 • ACM Transactions on Computational Logic • 26(1):
Chen Z, Pfenning F

2025
Chen Z, Pfenning F

2025 • Electronic Proceedings in Theoretical Computer Science •
Chen Z, Pfenning F

2025 • Proceedings of the ACM on Programming Languages • 9(OOPSLA2):
Gouni H, Pfenning F, Aldrich J

2025 • Leibniz International Proceedings in Informatics • 337:
Aberle CB, Crary K, Martens C, Pfenning F

2024 • Leibniz International Proceedings in Informatics • 299:
Jang J, Roshal S, Pfenning F, Pientka B

2024
Jang J, Roshal S, Pfenning F, Pientka B

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14676:295-313
Francalanza A, Tabone G, Pfennling F

2024 • Proceedings of the ACM on Programming Languages • 8(POPL):
DeYoung H, Mordido A, Pfenning F, Das A

2024
Somayyajula S, Pfenning F

2023
Chen Z, Pfenning F

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13992:68-88
Chen Z, Pfenning F

2023
DeYoung H, Pfenning F

2023
Somayyajula S, Pfenning F

2023 • PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023
de Sa L, Toninho B, Pfenning F

2023
DeYoung H, Mordido A, Pfenning F, Das A

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13908:3-27
Pfenning F, Pruiksma K

2022 • Journal of Functional Programming • 32:
Pruiksma K, Pfenning F

2022 • Logical Methods in Computer Science • 18(2):
Derakhshan F, Pfenning F

2022
Derakhshan F, Pfenning F

2022 • ACM Transactions on Programming Languages and Systems • 44(3):
Das A, DeYoung H, Mordido A, Pfenning F