Go backward to Summary Go up to Top

References

 [1]

Luca Cardelli and Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism, Computing Surveys, Volume 17, Number 4, pp. 471-522, December 1985.