Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Patrick Sallé (ICALP, 1979)

Note sur la sémantique des structures de contrôle. - Patrick Sallé (RAIRO Theor. Informatics Appl., 1979)

Echappements et continuations en sémantique dénotationnelle. - Patrick Sallé (Symposium on Programming, 1980)

Une Généralisation de la Théorie des Types en lambda-Calcul (Première partie). - Patrick Sallé (RAIRO Theor. Informatics Appl., 1980)

Une Généralisation de la Théorie des Types en lambda-Calcul (II). - Patrick Sallé (RAIRO Theor. Informatics Appl., 1980)

Acteurs et programmation en logique: ALOG. - F. Carre; Patrick Sallé (SPLT, 1983)

Une autre interprétation top down des clauses de Horn: interface avec une base de données. - Christiane Massoutie; Patrick Sallé (SPLT, 1984)

L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma. - J. Finet; Patrick Sallé (Symposium on Programming, 1984)

Un langage logique orienté objet. - Patrick Sallé; Christiane Massoutie; Marcel Gandriau (SPLT, 1986)

Plasma-II: an actor approach to concurrent programming. - Guy Lapaime; Patrick Sallé (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

Vers une machine virtuelle pour l'évaluation des langages d'acteurs. - A. El Faker; Christiane Massoutie; Marc Pantel; Patrick Sallé (LMO, 1995)

Generic operational decomposition for concurrent systems: Semantics and Reflection. - Annie Marcoux; Christine Maurel; Frédéric Migeon; Patrick Sallé (Parallel Distributed Comput. Pract., 1998)

Concurrent and Distributed Programming with Objects - Introduction. - Patrick Sallé; Marc Pantel (Euro-Par, 1999)

Static safety analysis for non-uniform service availability in Actors. - Jean-Louis Colaço; Marc Pantel; Fabien Dagnat; Patrick Sallé (FMOODS, 1999)

Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies. - L. Bray; Jean-Paul Arcangeli; Patrick Sallé (HPCN Europe, 1999)

Typing Concurrent Objects and Actors. - Fabien Dagnat; Marc Pantel; Matthias Colin; Patrick Sallé (Obj. Logiciel Base données Réseaux, 2000)