Type derivation using the projection operation

This publication has 5 references indexed in Scilit:

• On taxonomic reasoning in conceptual design
  ACM Transactions on Database Systems, 1992
• Static type checking of multi-methods
  Published by Association for Computing Machinery (ACM) ,1991
• Objects and views
  Published by Association for Computing Machinery (ACM) ,1991
• An algorithm for insertion into a lattice: Application to type classification
  Published by Springer Nature ,1989
• Object class definition by generalization using upward inheritance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988