Union types for semistructured data (2000)

by P Buneman, B Pierce
Venue:In Internet Programming Languages