Gilles Barthe
AuthID: R-00H-7MM
191
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
DBLP192
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
DBLP193
TÃTULO: Domain-free pure type systems
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 2000, FONTE: J. Funct. Program., VOLUME: 10, NÚMERO: 5
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 2000, FONTE: J. Funct. Program., VOLUME: 10, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP194
TÃTULO: Constructor Subtyping
AUTORES: Gilles Barthe; Maria João Frade ;
PUBLICAÇÃO: 1999, FONTE: 8th European Symposium on Programming, ESOP 1999 in Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576
AUTORES: Gilles Barthe; Maria João Frade ;
PUBLICAÇÃO: 1999, FONTE: 8th European Symposium on Programming, ESOP 1999 in Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576
195
TÃTULO: Partial Evaluation and Non-interference for Object Calculi
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 1999, FONTE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 1999, FONTE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP196
TÃTULO: Expanding the Cube
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP197
TÃTULO: Order-Sorted Inductive Types
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP198
TÃTULO: Type-checking injective pure type systems
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: J. Funct. Program., VOLUME: 9, NÚMERO: 6
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: J. Funct. Program., VOLUME: 9, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP199
TÃTULO: CPS Translations and Applications: The Cube and Beyond
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1999, FONTE: High. Order Symb. Comput., VOLUME: 12, NÚMERO: 2
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1999, FONTE: High. Order Symb. Comput., VOLUME: 12, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP200
TÃTULO: Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP