Gilles Barthe
AuthID: R-00H-7MM
151
TITLE: Constructor subtyping in the Calculus of Inductive Constructions
AUTHORS: Barthe, G; van Raamsdonk, F;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
AUTHORS: Barthe, G; van Raamsdonk, F;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP152
TITLE: An Introduction to Dependent Type Theory
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: APPSEM
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: APPSEM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP153
TITLE: Static Reduction Analysis for Imperative Object Oriented Languages
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: LPAR
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: LPAR
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP154
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
DBLP155
TITLE: Partial evaluation and non-interference for object calculi
AUTHORS: Barthe, G; Serpette, BP;
PUBLISHED: 1999, SOURCE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
AUTHORS: Barthe, G; Serpette, BP;
PUBLISHED: 1999, SOURCE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
INDEXED IN: WOS DBLP
WOS DBLP IN MY: DBLP
DBLP
157
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
158
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
DBLP159
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
DBLP160
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
DBLP