Gilles Kahn

21 papers A* 2A 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
1995 — conf
Extracting Text from Proofs.
TLCA
Yann Coscoy, Gilles Kahn, Laurent Théry
1994 J jnl
Preface
Inf. Comput.
Gilles Kahn
1994 — conf
Proof by Pointing.
TACS
Yves Bertot, Gilles Kahn, Laurent Théry
1993 J jnl
Concrete Domains.
Theor. Comput. Sci.
Gilles Kahn, Gordon D. Plotkin
1992 — conf
Real theorem provers deserve real user-interfaces.
SDE
Laurent Théry, Yves Bertot, Gilles Kahn
1990 — ed.
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990.
LISP and Functional Programming
Gilles Kahn
1989 — conf
CENTAUR: Towards a "Software Tool Box" for Programming Environments.
SEE
Dominique Clément, Janet Incerpi, Gilles Kahn
1988 — conf
CENTAUR: The System.
Software Development Environments (SDE)
Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual
1987 — ed.
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings
FPCA
Gilles Kahn
1987 A conf
Natural Semantics.
STACS
Gilles Kahn
1986 — conf
A Simple Applicative Language: Mini-ML.
LISP and Functional Programming
Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn
1984 — conf
Documents Structure and Modularity in Mentor.
Software Development Environments (SDE)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese
1984 — ed.
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings
Semantics of Data Types
Gilles Kahn, David B. MacQueen, Gordon D. Plotkin
1983 J jnl
Metal: A Formalism to Specify Formalisms.
Sci. Comput. Program.
Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
1983 — conf
Outline of a Tool for Document Manipulation.
IFIP Congress
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
1980 — conf
On the formal definition of ADA.
Semantics-Directed Compiler Generation
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
1979 — ed.
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979
Semantics of Concurrent Computation
Gilles Kahn
1977 — conf
Coroutines and Networks of Parallel Processes.
IFIP Congress
Gilles Kahn, David B. MacQueen
1974 A* conf
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.
ICALP
Bruno Courcelle, Gilles Kahn, Jean Vuillemin
1974 — conf
The Semantics of a Simple Language for Parallel Programming.
IFIP Congress
Gilles Kahn
1971 A* conf
An Approach to System Correctness.
SOSP
Gilles Kahn