previous up next contents
Précédent : Activités extérieures Remonter : Projet PARA Suivant : Abstract

Références

Thèses
1
D. Doligez, Conception, réalisation et certification d'un glaneur de cellules concurrent, Thèse de doctorat, Université Paris 7, mai 1995.
Articles et chapitres de livre
2
P.-L. Curien, T. Hardin, J.-J. Lévy, ``Confluence Properties of Weak and Strong Calculi of Explicit Substitutions'', Journal of the ACM, A paraître.
3
J.-J. Lévy, B. Thomsen, L. Leth, ``Second Year Report for Esprit Basic Research Action 6454-CONFER -- CONcurrency and Functions: Evaluation and Reduction'', Bulletin of EATCS, 55, 1995, p. 68-87.
Communications à des congrès, colloques, etc.
4
G. Dowek, T. Hardin, C. Kirchner, ``Higher-order unification in -calculus'', in: Tenth Annual Symposium on Logic in Computer Science, IEEE, San Diego, juin 1995.
5
C. Fournet, G. Gonthier, ``The reflexive CHAM and the join-calculus'', in: Twenty-Third Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, janvier 1996.
6
P.-A. Melliès, ``Typed -calculi with explicit substitutions may not terminate'', in: Second conference on Types in the Lambda CAlculus, Edimbourg, 1995.
Cours polycopiés
7
R. Cori, J.-J. Lévy, Algorithmes et Programmation, Ecole Polytechnique, polycopié d'informatique, octobre 1995, http://www.polytechnique.fr/poly/~www/poly/.
Rapports de recherche et publications internes
8
M. Abadi, B. Lampson, J.-J. Lévy, ``Analysis and Caching of Dependencies'', rapport de recherche, DEC, INRIA, Microsoft, 1995, soumis à publication.
9
T. Hardin, L. Maranget, B. Pagano, ``Functional Back-Ends in the Weak Lambda Sigma Calculus'', rapport de recherche, INRIA, Rocquencourt, 1995, présenté au Workshop de Båstad, Suède.
10
L. Maranget, ``Two Techniques for Compiling Lazy Pattern Matching'', rapport de recherche n°2385, INRIA, Rocquencourt, octobre 1994, soumis à ACM TOPLAS.

previous up next contents
Précédent : Activités extérieures Remonter : Projet PARA Suivant : Abstract