Peter Thiemann
AuthID: R-00H-ANV
1
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
WOS2
TÃTULO: ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012
AUTORES: Peter Thiemann; Robby Bruce Findler;
PUBLICAÇÃO: 2012, FONTE: ICFP
AUTORES: Peter Thiemann; Robby Bruce Findler;
PUBLICAÇÃO: 2012, FONTE: ICFP
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2003, FONTE: TIP@MPC, VOLUME: 75
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2003, FONTE: TIP@MPC, VOLUME: 75
INDEXADO EM: DBLP
DBLP4
TÃTULO: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
AUTORES: Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: PEPM
AUTORES: Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: PEPM
INDEXADO EM: DBLP
DBLP