A type system for an object-oriented database system.

Xuequn Wu

Browse the full COMPSAC paper archive.