XDuce: A statically typed XML processing language (0)

by H Hosoya, B C Pierce
Venue:ACM Trans. Inter. Tech