Second-order signature

This publication has 20 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• A review of recent work on multi-attribute access methods
  ACM SIGMOD Record, 1992
• Rule-based optimization and query processing in an extensible geometric database system
  ACM Transactions on Database Systems, 1992
• A graph-oriented object database model
  Published by Association for Computing Machinery (ACM) ,1990
• The DASDBS project: objectives, experiences, and future prospects
  IEEE Transactions on Knowledge and Data Engineering, 1990
• An algebra for structured office documents
  ACM Transactions on Information Systems, 1989
• GENESIS: an extensible database management system
  IEEE Transactions on Software Engineering, 1988
• An algebraic model of sybtypes in object-oriented languages (draft)
  ACM SIGPLAN Notices, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• IFO
  Published by Association for Computing Machinery (ACM) ,1984