Gilles Barthe
AuthID: R-00H-7MM
181
TITLE: Static Reduction Analysis for Imperative Object Oriented Languages
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP182
TITLE: Domain-free pure type systems
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 2000, SOURCE: J. Funct. Program., VOLUME: 10, ISSUE: 5
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 2000, SOURCE: J. Funct. Program., VOLUME: 10, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP183
TITLE: Constructor Subtyping
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: 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
184
TITLE: Partial Evaluation and Non-interference for Object Calculi
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 1999, SOURCE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 1999, SOURCE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP185
TITLE: Expanding the Cube
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP186
TITLE: Order-Sorted Inductive Types
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Inf. Comput., VOLUME: 149, ISSUE: 1
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Inf. Comput., VOLUME: 149, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP187
TITLE: Type-checking injective pure type systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: J. Funct. Program., VOLUME: 9, ISSUE: 6
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: J. Funct. Program., VOLUME: 9, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP188
TITLE: CPS Translations and Applications: The Cube and Beyond
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1999, SOURCE: High. Order Symb. Comput., VOLUME: 12, ISSUE: 2
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1999, SOURCE: High. Order Symb. Comput., VOLUME: 12, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP189
TITLE: Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP190
TITLE: The Relevance of Proof-Irrelevance
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, VOLUME: 1443
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, VOLUME: 1443
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP