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