Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

151
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
INDEXED IN: WOS DBLP
IN MY: DBLP
152
TITLE: Constructor subtyping  Full Text
AUTHORS: Barthe, G; Frade, MJ ;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: DBLP
153
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
INDEXED IN: Scopus DBLP CrossRef: 19
IN MY: DBLP
154
TITLE: Explicit Substitutions for the Lambda-Calculus
AUTHORS: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP
IN MY: DBLP
155
TITLE: Termination of Algebraic Type Systems: The Syntactic Approach
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP
IN MY: DBLP
156
TITLE: Domain-Free Pure Type Systems
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: LFCS
INDEXED IN: DBLP
IN MY: DBLP
157
TITLE: Reflections on Reflections
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: PLILP
INDEXED IN: DBLP
IN MY: DBLP
158
TITLE: A notion of classical pure type system
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: MFPS
INDEXED IN: DBLP
IN MY: DBLP
159
TITLE: Monadic Type Systems: Pure Type Systems for Impure Settings
AUTHORS: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLISHED: 1997, SOURCE: HOOTS
INDEXED IN: DBLP
IN MY: DBLP
160
TITLE: On the Subject Reduction Property for Algebraic Type Systems
AUTHORS: Gilles Barthe; Paul André Melliès;
PUBLISHED: 1996, SOURCE: CSL
INDEXED IN: DBLP
IN MY: DBLP
Page 16 of 17. Total results: 167.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service