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.