Simple objects for Standard ML

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 5, 1996, Pages 171-180

  Reppy, John ^a   Riecke, Jon ^b  

^a AT AND T LABS RESEARCH   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Functional programming; Object oriented programming; Programming language design; Standard ML

Indexed keywords

EID: 0005045552     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231412     Document Type: Article

References (33)

1. Abadi, M. and L. Cardelli. An imperative object calculus. In TAPSOFT'95: Theory and Practice of Software Development, number 915 in Lecture Notes in Computer Science. Springer-Verlag, May 1995, pp. 471-485.
2. Abadi, M. and L. Cardelli. On subtyping and matching. In ECOOP'95, 1995.
3. Appel, A. W. and D. B. MacQueen. Separate compilation for Standard ML. In Conference Record of the 1994 ACM Conference on Programming Language Design and Implementation, June 1994, pp. 13-23.
4. Apple Computer, Cambridge, MA. Dylan: An Object-oriented Dynamic Language, 1992.
5. Bruce, K. B. A paradigmatic object-oriented language: design, static typing, and semantics. Journal of Functional Programming, 4(2), 1994, pp. 127-206.
6. Cardelli, L. A semantics of multiple inheritance. In Semantics of Data Types, vol. 173 of Lecture Notes in Computer Science, New York, N.Y., 1984. Springer-Verlag, pp. 51-67.
7. Cardelli, L. A language with distributed scope. In Conference Record of the 22th Annual ACM Symposium on Principles of Programming Languages, January 1995, pp. 286-297.
8. Castagna, G. Covariance versus contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3), May 1995, pp. 431-447.
9. Canning, P., W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded quantification for object-oriented programming. In Conference Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture. ACM, 1989, pp. 273-280.
10. Cook, W. R. A proposal for making Eiffel type-safe. In European Conference on Object-Oriented Programming, 1989, pp. 57-72.
11. Cardelli, L. and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985, pp. 471-522.
12. Damas, L. and R. Milner. Principal types for functional programs. In Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, January 1982, pp. 207-212.
13. Eifrig, J., S. Smith, and V. Trifonov. Sound polymorphic type inference for objects. In OOPSLA'95 Proceedings. ACM, 1995. To appear.
14. Fisher, K. and J. C. Mitchell. Notes on typed object-oriented programming. In TACS'94: Theoretical Aspects of Computer Science, number 789 in Lecture Notes in Computer Science. Springer-Verlag, 1994, pp. 844-885.
15. Goldberg, A. and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass., 1983.
16. Gansner, E. R. and J. H. Reppy. A Multithreaded Higher-order User Interface Toolkit, vol. 1 of Software Trends, pp. 61-80. John Wiley & Sons, 1993.
17. Jategaonkar, L. and J. C. Mitchell. ML with extended pattern matching and subtypes. In Conference Record of the 1988 ACM Conference on Lisp and Functional Programming, July 1988, pp. 198-211.
18. Meyer, B. Eiffel: The Language. Prentice Hall, New York, NY, 1992.
19. Mitchell, J. C. Coercion and type inference (summary). In Conference Record of the 11th Annual ACM Symposium on Principles of Programming Languages, January 1984, pp. 175-185.
20. Milner, R., M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Mass, 1990.
21. Nelson, G. (ed.). Systems Programming with Modula-3. Prentice-Hall, Englewood Cliffs, N.J., 1991.
22. Palsberg, J. Efficient inference of object types. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 1994, pp. 186-195.
23. Pierce, B. Bounded quantification is undecidable. In C. A. Gunter and J. C. Mitchell (eds.), Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, pp. 427-459. MIT Press, 1994.
24. Pierce, B. C. and D. N. Turner. Object-oriented programming without recursive types. In Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages, January 1993, pp. 299-312.
25. Pierce, B. C. and D. N. Turner. Statically typed friendly functions via partially abstract types. Technical Report ECS-LFCS-93-256, University of Edinburgh, LFCS, April 1993. Also available as INRIA-Rocquencourt Rapport de Recherche No. 1899.
26. Rémy, D. Type inference for records in a natural extension of ML. In C. A. Gunter and J. C. Mitchell (eds.), Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, pp. 67-95. MIT Press, 1994. Also available as Research Report 1431, May 1991, INRIA-Rocquencourt, France.
27. Shao, Z. Compiling Standard ML for Efficient Execution on Modern Machines. Ph.D. dissertation, Princeton University, Department of Computer Science, November 1994.
28. Solomon, M. Type definitions with parameters. In Conference Record of the 5th Annual ACM Symposium on Principles of Programming Languages, January 1978, pp. 31-38.
29. Steele, Jr., G. L. Common Lisp: The Language. Digital Press, 2nd edition, 1990.
30. Stroustrup, B. The Design and Evolution of C++. Addison Wesley, Reading, Mass., 1994.
31. Thorup, L. and M. Tofte. Object-oriented programming and Standard ML. In Record of the 1994 ACM SIGPLAN Workshop on ML and its Applications, June 1994, pp. 41-49. Available as INRIA Research Report No. 2265.
32. Ungar, D. and R. B. Smith. Self: The power of simplicity. In OOPSLA'87 Proceedings, October 1987, pp. 227-242.
33. Wand, M. Complete type inference for simple objects. In Proceedings, Symposium on Logic in Computer Science. IEEE, 1987, pp. 37-44. Corrigendum in Proceedings, Symposium on Logic in Computer Science, page 132. IEEE, 1988.