Gilles Barthe
AuthID: R-00H-7MM
161
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
DBLP NO MEU: DBLP
DBLP162
TÃTULO: Pure patterns type systems
AUTORES: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLICAÇÃO: 2003, FONTE: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
AUTORES: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLICAÇÃO: 2003, FONTE: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP163
TÃTULO: Validation of the JavaCard Platform with Implicit Induction Techniques
AUTORES: Gilles Barthe; Sorin Stratulat;
PUBLICAÇÃO: 2003, FONTE: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, VOLUME: 2706
AUTORES: Gilles Barthe; Sorin Stratulat;
PUBLICAÇÃO: 2003, FONTE: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, VOLUME: 2706
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP164
TÃTULO: Setoids in type theory
AUTORES: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLICAÇÃO: 2003, FONTE: J. Funct. Program., VOLUME: 13, NÚMERO: 2
AUTORES: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLICAÇÃO: 2003, FONTE: J. Funct. Program., VOLUME: 13, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP165
TÃTULO: Compositional Verification of Secure Applet Interactions
AUTORES: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, VOLUME: 2306
AUTORES: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, VOLUME: 2306
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP166
TÃTULO: CPS translating inductive and coinductive types
AUTORES: Gilles Barthe; Tarmo Uustalu;
PUBLICAÇÃO: 2002, FONTE: 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: Gilles Barthe; Tarmo Uustalu;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP167
TÃTULO: Efficient Reasoning about Executable Specifications in Coq
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP168
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
DBLP NO MEU: DBLP
DBLP169
TÃTULO: Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo) PDF
AUTORES: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
AUTORES: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP170
TÃTULO: Type Isomorphisms and Proof Reuse in Dependent Type Theory
AUTORES: Gilles Barthe; Olivier Pons;
PUBLICAÇÃO: 2001, FONTE: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, VOLUME: 2030
AUTORES: Gilles Barthe; Olivier Pons;
PUBLICAÇÃO: 2001, FONTE: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, VOLUME: 2030
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP