An extensible type system for wide-area information management | IEEE Conference Publication | IEEE Xplore