Some challenging typing issues in object-oriented languages: Extended abstract

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 8, 2003, Pages 1-29

  Bruce, Kim B ^a  

^a WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); PROBLEM SOLVING; PROGRAM INTERPRETERS;

ARITHMETIC EXPRESSIONS; EXTENDED ABSTRACTS; PROGRAMMING LANGUAGES - C++; TYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 18944385089     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80799-0     Document Type: Conference Paper

References (29)

1. Birtwistle G.M., Dahl O.-J., Myhrhaug B., Nygaard K. SIMULA Begin. 1973;Aurbach
2. Bracha Gilad, Odersky Martin, Stoutamire David, Wadler Philip. Making the future safe for the past: Adding genericity to the java programming language. Object-Oriented Programming: Systems, Languages, Applications (OOPSLA). October 1998;ACM, Vancouver
3. Bruce Kim. Foundations of Object-Oriented Languages: Types and Semantics. 2002;MIT Press
4. Bruce Kim, Odersky Marin, Wadler Philip. A statically safe alternative to virtual types. ECOOP '98. LNCS 1445 :1998;523-549 Springer-Verlag
5. Bruce Kim B., Fiech Adrian, Petersen Leaf. Subtyping is not a good "match" for object-oriented languages. ECOOP '97. LNCS 1241 :1997;104-127 Springer-Verlag
6. Bruce Kim B., Schuett Angela, van Robert Gent. PolyTOIL: A type-safe polymorphic object-oriented language, extended abstract. ECOOP '95. LNCS 952 :1995;27-51 Springer-Verlag
7. Bruce Kim B., Schuett Angela, van Robert Gent. PolyTOIL: A type-safe polymorphic object-oriented language. TOPLAS. 25:(2):2003;225-290
8. Bruce Kim B., Vanderwaart Joseph C. Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. Electronic notes in Theoretical Computer Science. volume 20:1999;. URL: http://www.elsevier.nl/locate/entcs/volume20.html, 26 pages.
9. W. Cook. Object-oriented programming versus abstract data types. In Proc. of the REX Workshop/School on the Foundations of Object-Oriented Languages (FOOL), pages 151-178. Springer-Verlag, LNCS 173, 1990.
10. Ernst Erik. Family polymorphism. Knudsen Jörgen Lindskov. ECOOP 2001-Object-Oriented Programming. LNCS 2072 :2001;303-326 Springer-Verlag, Heidelberg, Germany
11. Robert Bruce Findler and Matthew Flatt. Modular object-oriented programming with units and mixins. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), volume 34(1), pages 94-104, 1999.
12. John N. Foster. Rupiah: Towards an expressive static type system for Java. Williams College Senior Honors Thesis, 2001.
13. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Abstraction and reuse of object-oriented designs. 1994;Addison-Wesley
14. Goldberg A., Robson D. Smalltalk-80: The language and its implementation. 1983;Addison Wesley
15. Krishnamurthi Shriram, Felleisen Matthias, Friedman Daniel P. Synthesizing object-oriented and functional design to promote re-use. ECOOP' 98. LNCS 1445 :1998;91-113 Springer-Verlag
16. Kristensen Bent Bruun, Madsen Ole Lehrmann, Moller-Pedersen Birger, Nygaard Kristen. The Beta programming language. Shriver Bruce, Wegner Peter. Research Directions in Object-Oriented Programming. 1987;7-48 M.I.T. Press, Cambridge, MA
17. Ole Lehrmann Madsen and Birger Moller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In OOPSLA '89 Proceedings. pages 397-406, 1989.
18. S. McDirmid, M. Flatt, and W. Hsieh. Jiazzi: New-age components for old-fashioned Java. In Proc. of OOPSLA, October 2001.
19. Meyer B. Eiffel: the language. 1992;Prentice-Hall
20. Meyer B. Object-Oriented Software Construction. 2nd edition :1997;Prentice-Hall
21. Martin Odersky, Vincent Cremet, Christine Rockl, and Matthias Zenger. A nominal theory of objects with dependent types. In Informal proceedings of FOOL 10, 2003.
22. J. Palsberg and M. Schwartzback. Type substitution for object-oriented programming. In OOPSLA-ECOOP '90 Proceedings, pages 151-160. ACM SIGPLAN Notices, 25(10), October 1990.
23. Jens Palsberg and C. Barry Jay. The essence of the visitor pattern. In Proc. 22nd IEEE Int. Computer Software and Applications Conf., COMPSAC, pages 9-15, 19-21 1998.
24. Rémy Didier, Vouillon Jérǒme. Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object-Oriented Systems. 4:1998;27-50
25. Didier Rémy and Jérǒme Vouillon. The reality of virtual types for free! Unpublished note avaliable electronically, October 1998.
26. Reynolds J.C. User-defined types and procedural data structures as complementary approaches to data abstraction. Schuman S.A. New Directions in Algorithmic Languages. 1975;157-168
27. Yannis Smaragdakis and Don Batory. Implementing layered designs with mixin layers. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pages 550-570. Springer-Verlag LNCS 1445, 1998.
28. Philip Wadler. The expression problem: A retraction. Message to Java-genericity electronic mail list, Feb 11, 1999.
29. Philip Wadler. The expression problem. Message to Java-genericity electronic mail list, November 12, 1998.