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: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2003, SOURCE: TIP@MPC, VOLUME: 75
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2003, SOURCE: TIP@MPC, VOLUME: 75
INDEXED IN: DBLP
DBLP4
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