Frank Pfenning


AuthID: R-006-F75

Confirmed Publications: 23



1
TITLE: Intuitionistic Metric Temporal Logic
AUTHORS: Luiz De Sá ; Bernardo Toninho ; Frank Pfenning ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023 in International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023
INDEXED IN: Scopus DBLP CrossRef 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: 1 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: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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: 30th International Conference on Concurrency Theory, CONCUR 2019 in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXED IN: Scopus DBLP arXiv
7
TITLE: Domain-Aware Session Types (Extended Version) PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.01318
INDEXED IN: DBLP arXiv
8
TITLE: Manifest Deadlock-Freedom for Shared Session Types
AUTHORS: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLISHED: 2019, SOURCE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXED IN: Scopus WOS DBLP CrossRef: 25
9
TITLE: A Universal Session Type for Untyped Asynchronous Communication  Full Text
AUTHORS: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2018, SOURCE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118
INDEXED IN: Scopus DBLP
10
TITLE: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTHORS: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
Page 1 of 3. Total results: 23.

A place for researchers and their institutions

Useful Links

Get Help

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