Gilles Barthe
AuthID: R-00H-7MM
171
TITLE: Compositional Verification of Secure Applet Interactions
AUTHORS: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLISHED: 2002, SOURCE: 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
AUTHORS: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP172
TITLE: CPS translating inductive and coinductive types
AUTHORS: Gilles Barthe; Tarmo Uustalu;
PUBLISHED: 2002, SOURCE: 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: Gilles Barthe; Tarmo Uustalu;
PUBLISHED: 2002, SOURCE: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP173
TITLE: Efficient Reasoning about Executable Specifications in Coq
AUTHORS: Gilles Barthe; Pierre Courtieu;
PUBLISHED: 2002, SOURCE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
AUTHORS: Gilles Barthe; Pierre Courtieu;
PUBLISHED: 2002, SOURCE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP174
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
DBLP IN MY: DBLP
DBLP175
TITLE: Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo) PDF
AUTHORS: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
AUTHORS: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP176
TITLE: Type Isomorphisms and Proof Reuse in Dependent Type Theory
AUTHORS: Gilles Barthe; Olivier Pons;
PUBLISHED: 2001, SOURCE: 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
AUTHORS: Gilles Barthe; Olivier Pons;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP177
TITLE: An induction principle for pure type systems
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 266, ISSUE: 1-2
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 266, ISSUE: 1-2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP178
TITLE: Weak normalization implies strong normalization in a class of non-dependent pure type systems
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 269, ISSUE: 1-2
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 269, ISSUE: 1-2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP179
TITLE: An Introduction to Dependent Type Theory
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP180
TITLE: Constructor Subtyping in the Calculus of Inductive Constructions
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 2000, SOURCE: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, VOLUME: 1784
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 2000, SOURCE: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, VOLUME: 1784
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP