Patrick Sallé

2000
15		Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé: Typing Concurrent Objects and Actors. L'OBJET 6(1): (2000)
1999
14	EE	Patrick Sallé, Marc Pantel: Concurrent and Distributed Programming with Objects - Introduction. Euro-Par 1999: 1333
13		J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé: Static safety analysis for non-uniform service availability in Actors. FMOODS 1999
12		L. Bray, Jean-Paul Arcangeli, Patrick Sallé: Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies. HPCN Europe 1999: 1227-1230
1995
11		A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé: Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO 1995: 221-240
1989
10	EE	G. Lapaime, Patrick Sallé: Plasma-II: an actor approach to concurrent programming. SIGPLAN Notices 24(4): 81-83 (1989)
1986
9		Patrick Sallé, Christiane Massoutie, Marcel Gandriau: Un langage logique orienté objet. SPLT 1986: 401-
1984
8		Christiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données. SPLT 1984
7		J. Finet, Patrick Sallé: L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma. Symposium on Programming 1984: 101-112
1983
6		F. Carre, Patrick Sallé: Acteurs et programmation en logique: ALOG. SPLT 1983
1980
5		Patrick Sallé: Echappements et continuations en sémantique dénotationnelle. Symposium on Programming 1980: 298-310
4		Patrick Sallé: Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). ITA 14(2): 143-167 (1980)
3		Patrick Sallé: Une Généralisation de la Théorie des Types en lambda-Calcul (II). ITA 14(3): 301-314 (1980)
1979
2		Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146
1		Patrick Sallé: Note sur la sémantique des structures de contrôle. ITA 13(2): (1979)

Coauthor Index

1	Jean-Paul Arcangeli	[12]
2	L. Bray	[12]
3	F. Carre	[6]
4	J. L. Colaco	[13]
5	Matthias Colin	[15]
6	Mario Coppo	[2]
7	Fabien Dagnat	[13] [15]
8	Mariangiola Dezani-Ciancaglini	[2]
9	A. El Faker	[11]
10	J. Finet	[7]
11	Marcel Gandriau	[9]
12	G. Lapaime	[10]
13	Christiane Massoutie	[8] [9] [11]
14	Marc Pantel	[11] [13] [14] [15]

Colors in the list of coauthors