Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

171
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
172
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
173
TITLE: Towards Lean Proof Checking
AUTHORS: Gilles Barthe; Hugo Elbers;
PUBLISHED: 1996, SOURCE: DISCO
INDEXED IN: DBLP
IN MY: DBLP
174
TITLE: Congruence Types
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: CSL
INDEXED IN: DBLP
IN MY: DBLP
175
TITLE: A Simple Abstract Semantics for Equational Theories
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
INDEXED IN: DBLP
IN MY: DBLP
176
TITLE: Modular Properties of Algebraic Type Systems
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: HOA
INDEXED IN: DBLP
IN MY: DBLP
177
TITLE: Extensions of Pure Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, VOLUME: 902
INDEXED IN: DBLP
IN MY: DBLP
178
TITLE: Implicit Coercions in Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
INDEXED IN: DBLP
IN MY: DBLP
179
TITLE: A Two-Level Approach Towards Lean Proof-Checking
AUTHORS: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLISHED: 1995, SOURCE: TYPES
INDEXED IN: DBLP
IN MY: DBLP
Page 18 of 18. Total results: 179.

footer slogan

Useful Links

Get Help

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