XDuce: A typed XML processing language (0)

by Haruo Hosoya, Benjamin C Pierce
Venue:ACM Transactions in Internet Technology