Frank Pfenning


AuthID: R-006-F75

Publicações Confirmadas: 22



1
TÍTULO: Intuitionistic Metric Temporal Logic
AUTORES: de Sa, Luiz ; Toninho, Bernardo ; Pfenning, Frank ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
2
TÍTULO: Nested Session Types
AUTORES: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
3
TÍTULO: Polarized Subtyping PDF
AUTORES: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus WOS DBLP arXiv
4
TÍTULO: A Decade of Dependent Session Types
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
5
TÍTULO: Nested Session Types PDF
AUTORES: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 7 Unpaywall
6
TÍTULO: Domain-Aware Session Types PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CONCUR, VOLUME: 140
INDEXADO EM: Scopus DBLP arXiv
7
TÍTULO: Manifest Deadlock-Freedom for Shared Session Types
AUTORES: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLICAÇÃO: 2019, FONTE: PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
8
TÍTULO: A Universal Session Type for Untyped Asynchronous Communication
AUTORES: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2018, FONTE: CONCUR, VOLUME: 118
INDEXADO EM: Scopus DBLP
9
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types  Full Text
AUTORES: Silva, M ; Florido, M ; Pfenning, F ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
10
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 85
Página 1 de 3. Total de resultados: 22.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service