Gilles Barthe
AuthID: R-00H-7MM
181
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
DBLP182
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
DBLP183
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
DBLP184
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
DBLP185
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
DBLP186
TÃTULO: An induction principle for pure type systems
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 2001, FONTE: Theor. Comput. Sci., VOLUME: 266, NÚMERO: 1-2
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 2001, FONTE: Theor. Comput. Sci., VOLUME: 266, NÚMERO: 1-2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP187
TÃTULO: Weak normalization implies strong normalization in a class of non-dependent pure type systems
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 2001, FONTE: Theor. Comput. Sci., VOLUME: 269, NÚMERO: 1-2
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 2001, FONTE: Theor. Comput. Sci., VOLUME: 269, NÚMERO: 1-2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP188
TÃTULO: An Introduction to Dependent Type Theory
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP189
TÃTULO: Constructor Subtyping in the Calculus of Inductive Constructions
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 2000, FONTE: 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
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 2000, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP190
TÃTULO: Static Reduction Analysis for Imperative Object Oriented Languages
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP