Peter Thiemann
AuthID: R-00H-ANV
11
TÃTULO: Gradual session types
AUTORES: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2017, FONTE: PACMPL, VOLUME: 1, NÚMERO: ICFP
AUTORES: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2017, FONTE: PACMPL, VOLUME: 1, NÚMERO: ICFP
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP12
TÃTULO: Context-Free Session Types Full Text
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN International Conference on Functional Programming (ICFP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 9
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN International Conference on Functional Programming (ICFP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 9
13
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
DBLP14
TÃTULO: Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
AUTORES: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLICAÇÃO: 2004, FONTE: J. Funct. Program., VOLUME: 14, NÚMERO: 1
AUTORES: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLICAÇÃO: 2004, FONTE: J. Funct. Program., VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
DBLP15
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
DBLP16
TÃTULO: Preface
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002, VOLUME: 75
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002, VOLUME: 75
INDEXADO EM: DBLP
DBLP17
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
DBLP18
TÃTULO: Monadic Type Systems: Pure Type Systems for Impure Settings
AUTORES: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLICAÇÃO: 1997, FONTE: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, VOLUME: 10
AUTORES: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLICAÇÃO: 1997, FONTE: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, VOLUME: 10
INDEXADO EM: DBLP
DBLP