A Type System that Reconsiles Classes and Extents.

Peter Buneman Atsushi Ohori A Type System that Reconsiles Classes and Extents. 191-202 DBPL1991/P191.pdf 1991 DBPL db/conf/dbpl/dbpl91.html#BunemanO91 conf/dbpl/91 db/conf/dbpl/BunemanO91.html conf/vldb/BancilhonBKV87 conf/dbpl/TannenBN91 conf/icalp/TannenS91 ... journals/iandc/Cardelli88 ... ... ... journals/jcss/Milner78 conf/lfp/OhoriB88 conf/sigmod/OhoriBT89 ... ... books/aw/Stroustrup86 ... conf/dbpl/WegnerZ89