Gilles Kahn

	1995
20		Yann Coscoy, Gilles Kahn, Laurent Théry: Extracting Text from Proofs. TLCA 1995: 109-123
	1994
19		Yves Bertot, Gilles Kahn, Laurent Théry: Proof by Pointing. TACS 1994: 141-160
18		Gilles Kahn: Preface Inf. Comput. 110(2): iii (1994)
	1993
17		Gilles Kahn, Gordon D. Plotkin: Concrete Domains. Theor. Comput. Sci. 121(1&2): 187-277 (1993)
	1992
16		Laurent Théry, Yves Bertot, Gilles Kahn: Real theorem provers deserve real user-interfaces. SDE 1992: 120-129
	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

Coauthor Index

1	Yves Bertot	[16] [19]
2	Patrick Borras	[14]
3	Dominique Clément	[11] [14] [15]
4	Yann Coscoy	[20]
5	Bruno Courcelle	[3]
6	Joëlle Despeyroux	[11]
7	Th. Despeyroux	[11] [14]
8	Véronique Donzeau-Gouge	[6] [8] [9]
9	Janet Incerpi	[14] [15]
10	Bernard Lang	[6] [7] [8] [9] [14]
11	David B. MacQueen	[4] [10]
12	Bertrand Melese	[7] [8] [9]
13	Elham Morcos	[7] [8]
14	V. Pascual	[14]
15	Gordon D. Plotkin	[10] [17]
16	Laurent Théry	[16] [19] [20]
17	Jean Vuillemin	[3]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page