1. Abstract
2. References

References

• [CW85] Cardelli L, Wegner P. (1985). "On understanding types, data abstraction, and polymorphism." ACM Computing Surveys (CSUR), 17(4), 471-523.