Key words: Semi-structured data handling, programtransformation, language integration/extension. 1 Introduction There has been some notable interest in making use of typed programming languages for XML processing [16,13,3,11]. The advantages of such an approach are clear. In a typed setting we can provide some static guarantees about the well-formedness of XML documents and transformations. Previous work can be roughly divided into two categories.