Type Checking For Functional XML Programming Without Type Annotation.

Akihiko Tozawa Type Checking For Functional XML Programming Without Type Annotation. 71-81 2006 conf/planX/2006 PLAN-X db/conf/planx/planX2006.html#Tozawa06