Peter Thiemann
AuthID: R-00H-ANV
1
TÃTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.03764
AUTORES: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.03764
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP2
TÃTULO: Parameterized Algebraic Protocols
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
INDEXADO EM: 
WOS DBLP
WOS DBLP3
TÃTULO: Polymorphic lambda calculus with context-free session types
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Inf. Comput., VOLUME: 289, NÚMERO: Part
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Inf. Comput., VOLUME: 289, NÚMERO: Part
INDEXADO EM: Scopus DBLP
Scopus DBLP4
TÃTULO: Polymorphic lambda calculus with context-free session types Full Text
AUTORES: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: INFORMATION AND COMPUTATION, VOLUME: 289
AUTORES: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: INFORMATION AND COMPUTATION, VOLUME: 289
INDEXADO EM: WOS
WOS5
TÃTULO: Duality of Session Types: The Final Cut
AUTORES: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
AUTORES: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXADO EM: Scopus DBLP
Scopus DBLP6
TÃTULO: Label-dependent session types
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: Proc. ACM Program. Lang., VOLUME: 4, NÚMERO: POPL
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: Proc. ACM Program. Lang., VOLUME: 4, NÚMERO: POPL
INDEXADO EM: DBLP
DBLP7
TÃTULO: Label-Dependent Session Types
AUTORES: Thiemann, P; Vasconcelos, VT ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: POPL
AUTORES: Thiemann, P; Vasconcelos, VT ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: POPL
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: Gradual session types
AUTORES: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
AUTORES: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXADO EM: WOS DBLP
WOS DBLP9
TÃTULO: Label-Dependent Session Types PDF
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.00705
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.00705
INDEXADO EM: DBLP 
arXiv
DBLP arXiv10
TÃTULO: Gradual Session Types PDF
AUTORES: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.05649
AUTORES: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.05649
INDEXADO EM: DBLP arXiv
DBLP arXiv