Author:
Boyland John,Castagna Giuseppe
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. E. Amiel, M.-J. Bellosta, E. Dujardin, and E. Simon. Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS. Very Large Databases Journal, 5(2):108–119, April 1996.
2. R. Agrawal, L. DeMichiel, and B. Lindsay. Static type checking of multi-methods. ACM SIGPLAN Notices, 26(11):113–128, 1991. Proceedings of OOPSLA'91.
3. K. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3), 1996.
4. F. Bancilhon, C. Delobel, and P. Kanellakis, editors. Implementing an Object-Oriented Database System: The Story of O 2. Morgan Kaufmann, 1992.
5. M. F. Barrett and M. E. Giguere. A note on covariance and contravariance unification. ACM SIGPLAN Notices, 31(1):32–35, Jan. 1996.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献