1995 |
19 | | Yann Coscoy,
Gilles Kahn,
Laurent Théry:
Extracting Text from Proofs.
TLCA 1995: 109-123 |
1994 |
18 | | Yves Bertot,
Gilles Kahn,
Laurent Théry:
Proof by Pointing.
TACS 1994: 141-160 |
17 | | Gilles Kahn:
Preface
Inf. Comput. 110(2): iii (1994) |
1993 |
16 | | Gilles Kahn,
Gordon D. Plotkin:
Concrete Domains.
Theor. Comput. Sci. 121(1&2): 187-277 (1993) |
1989 |
15 | | Dominique Clément,
Janet Incerpi,
Gilles Kahn:
CENTAUR: Towards a "Software Tool Box" for Programming Environments.
SEE 1989: 287-304 |
1988 |
14 | | Patrick Borras,
Dominique Clément,
Th. Despeyroux,
Janet Incerpi,
Gilles Kahn,
Bernard Lang,
V. Pascual:
CENTAUR: The System.
Software Development Environments (SDE) 1988: 14-24 |
1987 |
13 | | Gilles Kahn:
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings
Springer 1987 |
12 | | Gilles Kahn:
Natural Semantics.
STACS 1987: 22-39 |
1986 |
11 | | Dominique Clément,
Joëlle Despeyroux,
Th. Despeyroux,
Gilles Kahn:
A Simple Applicative Language: Mini-ML.
LISP and Functional Programming 1986: 13-27 |
1984 |
10 | | Gilles Kahn,
David B. MacQueen,
Gordon D. Plotkin:
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings
Springer 1984 |
9 | | Véronique Donzeau-Gouge,
Gilles Kahn,
Bernard Lang,
Bertrand Melese:
Documents Structure and Modularity in Mentor.
Software Development Environments (SDE) 1984: 141-148 |
1983 |
8 | | Véronique Donzeau-Gouge,
Gilles Kahn,
Bernard Lang,
Bertrand Melese,
Elham Morcos:
Outline of a Tool for Document Manipulation.
IFIP Congress 1983: 615-620 |
7 | | Gilles Kahn,
Bernard Lang,
Bertrand Melese,
Elham Morcos:
Metal: A Formalism to Specify Formalisms.
Sci. Comput. Program. 3(2): 151-188 (1983) |
1980 |
6 | | Véronique Donzeau-Gouge,
Gilles Kahn,
Bernard Lang:
On the formal definition of ADA.
Semantics-Directed Compiler Generation 1980: 475-489 |
1979 |
5 | | Gilles Kahn:
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979
Springer 1979 |
1977 |
4 | | Gilles Kahn,
David B. MacQueen:
Coroutines and Networks of Parallel Processes.
IFIP Congress 1977: 993-998 |
1974 |
3 | | Bruno Courcelle,
Gilles Kahn,
Jean Vuillemin:
Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.
ICALP 1974: 200-213 |
2 | | Gilles Kahn:
The Semantics of Simple Language for Parallel Programming.
IFIP Congress 1974: 471-475 |
1971 |
1 | | Gilles Kahn:
An Approach to System Correctness.
SOSP 1971: 86-94 |