Speaking of type systems: XML

Here's a fascinating paper on XML, how it works, why it kind of sucks, and lots and lots of information.  One of those things you need to read a few times.