Union-Types in Object-Oriented Schemes.

Jan Hidders Union-Types in Object-Oriented Schemes. 2 1995 DBPL db/conf/dbpl/dbpl95.html#Hidders95 conf/dbpl/95 db/conf/dbpl/Hidders95.html DBPL1995/X03.pdf journals/tods/AbiteboulH87 conf/sigmod/AbiteboulK89 journals/iandc/BarbaneraDL95 ... conf/pods/CalvaneseL94 journals/iandc/Cardelli88 conf/sigmod/ChristophidesACS94 books/fm/GareyJ79 journals/tods/KuperV93 conf/pods/LecluseR89 conf/dexa/LingT93 ... conf/popl/Remy89 ...