Christian Kirkegaard, Anders Møller. Type Checking with XML Schema in XACT. In Giuseppe Castagna, Mukund Raghavachari, editors, PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006. pages 14-23, BRICS, Department of Computer Science, University of Aarhus, 2006.
Abstract is missing.