A Type System that Reconciles Classes and Extents (0)

by Peter Buneman, Atsushi Ohori
Venue:In 3rd International Workshop on Database Programming Languages