Peter Thiemann
AuthID: R-00H-ANV
1
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
WOS2
TITLE: ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012
AUTHORS: Peter Thiemann; Robby Bruce Findler;
PUBLISHED: 2012, SOURCE: ICFP
AUTHORS: Peter Thiemann; Robby Bruce Findler;
PUBLISHED: 2012, SOURCE: ICFP
INDEXED IN: 
DBLP
DBLP3
TITLE: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
AUTHORS: Peter Thiemann;
PUBLISHED: 2002, SOURCE: PEPM
AUTHORS: Peter Thiemann;
PUBLISHED: 2002, SOURCE: PEPM
INDEXED IN: DBLP
DBLP