Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. A Theory of Objects;Abadi,1996
2. M. Abadi, L. Cardelli, and R. Viswanathan. An Interpretation of Objects and Object Types. In Proceedings of 23rd ACM Symposium on Principle of Programming Languages, pages 396–409, 1996.
3. The Java Programming Language;Arnold,1996
4. Can Programming be Liberated from vonNeumann Style? A Functional Style and its Algebra of Programs;Backus;ACM Communication,1978
5. A. Berarducci, and C. Böhm. General Recursion on Higher–Order Term Algebras. In Proceedings of RTA'01, LNCS. Springer-Verlag, 2001. To appear.