Type Systems in Programming Languages
Author:
Subrahmanyam Ramesh
Reference62 articles.
1. M. Abadi and L. Cardelli, A theory of primitive objects - second-order systems, inProgramming 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.
2. An Imperative Object Calculus
3. A Theory of Primitive Objects: Untyped and First-Order Systems
4. A. Aiken and E.L. Wimmers, Type inclusion constraints and type inference, inProceedings of the Conference on Functional Programming Languages and Computer Architecture, ACM Press, New York, 1993, pp.31-41.
5. Subtyping recursive types