Vladimir Gapeyev François Garillot Benjamin C. Pierce Statically Typed Document Transformation: An Xtatic Experience. 2-13 2006 conf/planX/2006 PLAN-X db/conf/planx/planX2006.html#GapeyevGP06