A Class Abstraction for a Hierarchical Type System.

Giorgio Ghelli A Class Abstraction for a Hierarchical Type System. 56-71 ICDT1990/P056.pdf 1990 ICDT db/conf/icdt/icdt90.html#Ghelli90 conf/icdt/90 http://dx.doi.org/10.1007/3-540-53507-1_70 journals/tods/AlbanoCO85 ... journals/iandc/BruceL90 ... ... journals/csur/CardelliW85 ... journals/mscs/CurienG92 ... journals/jcss/Milner78