Michael Benedikt, James Cheney. Semantics, Types and Effects for XML Updates. In Philippa Gardner, Floris Geerts, editors, Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings. Volume 5708 of Lecture Notes in Computer Science, pages 1-17, Springer, 2009. [doi]
Abstract is missing.