Union types for semi-structured data (1999)

by P Buneman, B C Pierce
Venue:In the Proceedings of DBPL, Kinloch Rannoch