欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
XQuery 1.0: An XML Query Language
http://www.w3.org/TR/xquery/
GalaTex: An XML Full Text Search Engine