Webmonkey have an article describing some of the wireless markup languages. Unfortunately the author has concentrated on describing HDML and glosses over WML, despite describing it as the successor to HDML and 15 months after Unwired Planet revealed it's first WML browser.