Frank Pfenning


AuthID: R-006-F75

Confirmed Publications: 22



1
TITLE: Intuitionistic Metric Temporal Logic
AUTHORS: de Sa, Luiz ; Toninho, Bernardo ; Pfenning, Frank ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Principles and Practice of Declarative Programming (PPDP) As part of the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications - Software for Humanity (SPLASH) in PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
2
TITLE: Nested Session Types  Full Text
AUTHORS: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
3
TITLE: Polarized Subtyping
AUTHORS: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
INDEXED IN: Scopus WOS DBLP
4
TITLE: A Decade of Dependent Session Types
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXED IN: Scopus WOS DBLP CrossRef: 7
5
TITLE: Nested Session Types
AUTHORS: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2021, SOURCE: 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, VOLUME: 12648
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Unpaywall
6
TITLE: Domain-Aware Session Types PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CONCUR, VOLUME: 140
INDEXED IN: Scopus DBLP arXiv
7
TITLE: Manifest Deadlock-Freedom for Shared Session Types
AUTHORS: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLISHED: 2019, SOURCE: PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXED IN: Scopus WOS DBLP CrossRef: 28
8
TITLE: A Universal Session Type for Untyped Asynchronous Communication
AUTHORS: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2018, SOURCE: CONCUR, VOLUME: 118
INDEXED IN: Scopus DBLP
9
TITLE: Non-Blocking Concurrent Imperative Programming with Session Types
AUTHORS: Silva, M ; Florido, M ; Pfenning, F ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238
INDEXED IN: Scopus WOS DBLP CrossRef: 2
10
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 85
Page 1 of 3. Total results: 22.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service