De nombreuses propositions de langages de mises à jour pour XML ont été définies [1,2,3] soit indépendemment des standards [1] soit liées à XQuery Update facility [3] en passe de devenir le standard du W3C en la matière. Le typage statique pour ces langages a été peu étudié à l'exception de [1]. Ce stage propose d'approfondir et d'étendre ces travaux. Une bonne connaissance du langages fonctionnels et des systèmes de type est souhaitée. La connaissance des systèmes à effet [4] est un atout supplémentaire.

• [1] James Cheney. FLUX: FunctionaL Updates for XML. In ICFP, 2008.
• [2] Michael Benedikt and James Cheney. Semantics, Types and Effects for XML Updates
• [3] W3C XQuery Update Facility
• [4] Flemming Nielson and Hanne Riis Nielson. Type and Effect Systems