|
Activités de recherche
Langages de programmation, typage, programmation fonctionnelle, compilation, méta-programmation.
Activités d'enseignement
Responsable de la filière « Systèmes d'information », ainsi que du mastère spécialisé « Architecture des systèmes d'information ».
Cours « Principes des langages de programmation ».
Publications
Chapitre
2006
- Programmation fonctionnelle
et
Encyclopédie des systèmes d'information, pp. 1016–-1027, Vuibert, pp. 1016–-1027, 2006
Article
2007
- Typer la désérialisation sans sérialiser les types
, et
Technique et science informatiques, vol. 26, pp. 1067-1090, Hermes, sep 2007
Actes
2006
- Typer la désérialisation sans sérialiser les types
, et
Journées Francophones des Langages Applicatifs, jan 2006