Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
Abstract data types are under full control with Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Mechanisms for abstraction in Ada
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Hi-index | 0.00 |
It is commonly believed that user-defined equality can only be declared for limited types. Actually it is possible to declare a user-defined equality operator for any type.