Akihiko Tozawa. Type Checking For Functional XML Programming Without Type Annotation. In Giuseppe Castagna, Mukund Raghavachari, editors, PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006. pages 71-81, BRICS, Department of Computer Science, University of Aarhus, 2006.
Abstract is missing.