Peter Thiemann
AuthID: R-00H-ANV
1
TITLE: Parameterized Algebraic Protocols
AUTHORS: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.03764
AUTHORS: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.03764
INDEXED IN: Scopus DBLP
2
TITLE: Parameterized Algebraic Protocols
AUTHORS: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: PLDI
AUTHORS: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: PLDI
INDEXED IN: WOS DBLP
3
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
INDEXED IN: Scopus DBLP
4
TITLE: Polymorphic lambda calculus with context-free session types Full Text
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 289
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 289
INDEXED IN: WOS
5
TITLE: Duality of Session Types: The Final Cut
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP
6
TITLE: Label-dependent session types
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
7
TITLE: Label-Dependent Session Types
AUTHORS: Thiemann, P; Vasconcelos, VT ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: POPL
AUTHORS: Thiemann, P; Vasconcelos, VT ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: POPL
INDEXED IN: Scopus WOS
8
TITLE: Gradual session types
AUTHORS: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
AUTHORS: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXED IN: WOS DBLP
9
TITLE: Label-Dependent Session Types PDF
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.00705
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.00705
INDEXED IN: DBLP arXiv
10
TITLE: Gradual Session Types PDF
AUTHORS: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.05649
AUTHORS: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.05649
INDEXED IN: DBLP arXiv