Actes de conférences
Récriture et programmation fonctionnelle
- Axiomatic Sharing-via-Labelling, RTA 2012, pdf.
- A Unified Approach to Fully Lazy Sharing, POPL 2012, pdf, © ACM.
- Optimality for Dynamic Patterns: Extended Abstract, PPDP 2010, pdf, © ACM.
- On the Implementation of Dynamic Patterns, HOR 2010, pdf. Il y a aussi une version courte ici.
Concurrence
- A Geometric Approach to the Problem of Unique Decomposition of Processes, CONCUR 2010, avec Emmanuel Haucourt, pdf, © Springer-Verlag.
Rapports
Récriture et programmation fonctionnelle
- A Unified Approach to Fully Lazy Sharing, Rapport technique PPS 2011, pdf.
- Optimality for Dynamic Patterns, Rapport technique PPS 2010, pdf.
- Calculs avec Motifs Dynamiques, Rapport technique PPS 2008, pdf.
Concurrence
- Concurrence, géométrie, et factorisation de catégories, Rapport de stage ENS Lyon 2007, pdf.
Retour à la page recherche.