Reconciling virtual classes with genericity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4228 LNCS, Issue , 2006, Pages 57-72

  Ernst, Erik ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; KNOWLEDGE ACQUISITION; OBJECT ORIENTED PROGRAMMING; PARAMETER ESTIMATION; PHILOSOPHICAL ASPECTS;

PARAMETERIZED CLASSES; PREDICTABILITY; PROGRAMMERS; VIRTUAL CLASSES;

VIRTUAL REALITY;

EID: 33750684394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11860990_5     Document Type: Conference Paper

References (26)

1. Gilad Bracha and William Cook. Mixin-based inheritance. In Proceedings OOP-SLA/ECOOP'90, ACM SIGPLAN Notices, volume 25, 10, pages 303-311, October 1990.
2. K. Bruce, M. Odersky, and P. Wadler. A statically safe alternntive to virtual types. Lecture Notes in Computer Science, 1445:523-549, 1998.
3. K. B. Bruce, R. Van Gent, and A. Schuett. PolyTOIL: A type-safe polymorphic object-oriented language. Proceedings ECOOP'95, LNCS 952:27-51, 1995.
4. Peter Canning, William Cook, Walter Hill, John Mitchell, and Walter Olthoff. F-boundecl polymorphism for object-oriented programming. In Fourth International Conference on Functional Programming and Computer Architecture. ACM, September 1989. Also technical report STL-89-5, from Software Technology Laboratory, Hewlett-Packard Laboratories.
5. Erik Ernst. gbeta - A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, DEVISE, Department of Computer Science, University of Aarhus, Aarhus, Denmark, June 1999.
6. Erik Ernst. Family polymorphism. In Jørgen Lindskov Knudsen, editor, Proceedings ECOOP'Ol, LNCS 2072, pages 303-326, Heidelberg, Germany, 2001. Springer-Verlag.
7. Erik Ernst. Higher-order hierarchies. In Luca Cardelli, editor, Proceedings ECOOP'03, LNCS 2743, pages 303-329. Heidelberg. Germany, July 2003. Springer-Verlag.
8. Erik Ernst, Klaus Ostermann, and William R. Cook. A virtual class calculus. In Proceedings POPL'06, pages 270-282, Charleston, SC. USA, 2006. ACM.
9. Matthew Flatt, Shriram Krishnamurthi. and Matthias Felleisen. Classes and mixins. In Conference Record of POPL '98; The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 171-183, San Diego, California, 19-21 January 1998.
10. Jean-Yves Girard. Interprétation fonctionelle et élimination des coupures de l'arithmétique d'ordre supérieur. PhD thesis, Université Paris VII, 1972.
11. A summary appeared in the Proceedings of the Second Scandinavian Logic Symposium (J.E. Fenstad, editor), North-Holland. 1971 (pp. 63-92).
12. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification -Third Edition. The Java Series. Addison-Wesley, third, edition, 2004.
13. Atsushi Igarashi and Mirko Viroli. On variance-based subtyping for parameteric types. In Boris Magnusson, editor, Procedings ECOOP'02, LNCS 2374, pages 441-469. Springer-Verlag, June 2002.
14. Ole Lehrmann Madsen and Birger Møller-Pederscn. Virtual classes: A powerful mechanism in object-oriented programming. In Proceedings OOPSLA'89, ACM SIGPLAN Notices, volume 24, 10, pages 397-406, October 1989.
15. Ole Lehrmann Madsen, Birger Møller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, Reading, MA, USA, 1993.
16. M. Mezini and K. Ostermann. Conquering aspects with Caesar. In Proceedings AOSD'03, pages 90-99, Boston, USA, 2003.
17. Microsoft Corporation, Seattle, USA. C# - Version 2.0 Specification, May 2004.
18. R. Milner, M. Tofte, R. W. Harper, and D. MacQueen. The Definition of Standard ML. MIT Press, 1997.
19. Nathaniel Nystrom, Stephen Chong, and Andrew C. Myers. Scalable extensibility via nested inheritance. In Proceedings OOPSLA '04, pages 99-115. ACM Press, 2004.
20. Martin Odersky and al. An overview of the scala programming language. Technical Report IC/2004/64, EPFL Lausanne. Switzerland, 2004.
21. Martin Odersky and Matthias Zenger. Scalable component abstractions. In Proceedings OOPSIA'05. pages 41-57. New York, NY. USA. October 2005. ACM Press.
22. Klaus Ostermann. Dynamically composable collaborations with delegation layers. Lecture Notes in Computer Science, 2374:89-110, 2002.
23. Christopher Strachey. Fundamental concepts in programming languages. Lecture Notes, International Summer School in Programming Languages, Copenhagen, Denmark, 1967.
24. Kresten Krab Thorup and Mads Torgersen. Unifying genericity - combining the benefits of virtual types und parameterized classes. In Proceedings ECOOP'99, pages 186-204, 1999.
25. Mads Torgersen. The expression problem revisited - four new solutions using generics. In Martin Odersky, editor, Proceedings ECOOP'04, LNCS 3086, pages 123-143, Oslo, Norway, 2004. Springer-Verlag. To appear.
26. Mads Torgersen, Erik Ernst, Christian Plesner Hansen, Peter von der Ahé, Gilad Bracha, and Neal Gafter. Adding wildcards to the java programming language. Journal of Object Technology, 3(11), 2004. http://www.jot.fm/issues/issue_2004_12/article5.