Publications by Frank Pfenning

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

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

2025
Chen Z, Pfenning F

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

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

2024 • Leibniz International Proceedings in Informatics • 299:
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, Pfenning F

2024 • Proceedings of the ACM on Programming Languages • 8(POPL):
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) • 13992:68-88
Chen Z, 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
DeYoung H, Pfenning F

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

2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13240:431-461
Lakhani Z, Das A, DeYoung H, Mordido A, Pfenning F

2022
Lakhani Z, Das A, DeYoung H, Mordido A, Pfenning F

2022 • Logical Methods in Computer Science • 18(1):
Das A, Pfenning F

2022 • Journal of Logical and Algebraic Methods in Programming • 124:
Gommerstadt H, Jia L, Pfenning F

2022 • Leibniz International Proceedings in Informatics • 228:
Somayyajula S, Pfenning F

2021 • PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
Toninho B, Caires L, Pfenning F

2021 • Journal of Logical and Algebraic Methods in Programming • 120:
Pruiksma K, Pfenning F

2021
Sano C, Balzer S, Pfenning F

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12717:23-40
Sano C, Balzer S, Pfenning F