Fabien Renaud's webpage

I have finished my PhD thesis and continue my research on explicit substitutions, and implementations of functional programming languages.

Contact me

Email :
Office : 6A47 PPS - Université Paris 7, 175 rue du Chevaleret 75013 Paris tel : (+33) 1 57 27 94 17

My postal address is different:
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

More details in my academic CV

TP Génie Logiciel Avancé (2011-2012)
TP Programmation fonctionelle avancée (2011-2012)
TP Preuve de programmes (2011-2012)
Cours/TD, Projet programmation (2010-2011)
TD, Types de données et objets (2009-2010)
TP, Introduction aux systèmes d'exploitation (2009-2010)
TP, Informatique fondamentale (2008-2009)
TP, Internet et outils (2007-2008)

F. Renaud, Explicit resources from the point of view of the rewriting theory
- Ph.D. Thesis (December 2011)
- Download (pdf)
D. Kesner and F. Renaud, A prismoid framework for languages with resources
- Published in Theoretical Computer Science, 412(37): 4867-4892, 2011.
- Download (pdf) © Elsevier.
D. Kesner and F. Renaud, The Prismoid of Resources
- Proceedings of the 34st International Symposium on Mathematical Foundations of Computer Science (MFCS).
- LNCS 5734. Novy Smokovec, High Tatras, Slovakia, August 2009.
- Download (pdf) © Springer-Verlag. (The original publication is available at www.springerlink.com)

16ème Rencontres LAC Bornes des longueurs de réductions en λ-calcul avec substitutions explicites, Paris, November 2010
Workshop Austria-France Preservation of Strong Normalization for Higher-Order Rewriting Systems explicited, Innsbruck, Austria, 2009
WPI The Prismoid of Resources, Paris, September 2009
SPT 08 The cube of resources, Paris, November 2008
Explicit parametric resources for lambda-calculus, UBA, Argentina, August 2008