%0 Conference Proceedings
%A Wang, Qing
%A Schewe, Klaus-Dieter
%D 2008
%T A Typed Higher-Order Calculus for Querying XML Databases
%E Fekete, Alan
%E Lin, Xuemin
%B Nineteenth Australasian Database Conference (ADC 2008)
%C Wollongong, NSW, Australia
%I ACS
%V 75
%P 103-113
%S CRPIT
%! A Typed Higher-Order Calculus for Querying XML Databases
%F CRPITV75-103-113
%Z abstract
%U http://crpit.com/confpapers/CRPITV75Wang.pdf