References

 

[1]

David A. Schmidt. The Structure of Typed Programming Languages, MIT Press, Cambridge, MA, 1994.  

[2]

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