Frank Pfenning


AuthID: R-006-F75

Publicações Confirmadas: 23



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 Unpaywall
2
TÍTULO: Nested Session Types  Full Text
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: 1 Unpaywall
3
TÍTULO: Polarized Subtyping
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
4
TÍTULO: A Decade of Dependent Session Types
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
5
TÍTULO: Nested Session Types
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 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: 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
INDEXADO EM: Scopus DBLP arXiv
7
TÍTULO: Domain-Aware Session Types (Extended Version) PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.01318
INDEXADO EM: DBLP arXiv
8
TÍTULO: Manifest Deadlock-Freedom for Shared Session Types
AUTORES: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
9
TÍTULO: A Universal Session Type for Untyped Asynchronous Communication  Full Text
AUTORES: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: Scopus DBLP
10
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTORES: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLICAÇÃO: 2017, FONTE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
Página 1 de 3. Total de resultados: 23.

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

Links Úteis

Ajuda

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