Mechanizing the Metatheory of mini-XQuery.

James Cheney, Christian Urban

Browse the full CPP paper archive.