Type Systems in Programming Languages Ramesh Subrahmanyam
Reference1 articles.
1. [1] M. Abadi and L. Cardelli, A theory of primitive objects — second-order systems, in Programming Languages and Systems — ESOP ’94, 5th European Symposium on Programming , D. Sannella, Ed., Vol. 788, Lecture Notes in Computer Science, Springer-Verlag, NewYork, 1994, pp. 1–25.