Higher-order hierarchies

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

Volumn 2743, Issue , 2003, Pages 303-328

  Ernst, Erik ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

GENERIC CODES; HIGHER-ORDER; IN CONTEXTS; INHERITANCE HIERARCHIES; LANGUAGE DESIGN; OBJECT ORIENTATION;

OBJECT ORIENTED PROGRAMMING;

EID: 35248842767     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45070-2_14     Document Type: Article

References (35)

1. Mehmet Aksit. On the Design of the Object-Oriented Language Sina. PhD thesis, University of Twente, Enschede, the Netherlands, 1989.
2. K. Bruce, M. Odersky, and P. Wadler. A statically safe alternative to virtual types. Lecture Notes in Computer Science, 1445:523-549, 1998.
3. Craig Chambers. The Cecil Language, Specification and Rationale. Dept. of Comp.Sci. and Eng., Univ. of Washington, Seattle, Washington, 1997.
4. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
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. Propagating class and method combination. In Rachid Guerraoui, editor, Proceedings ECOOP'99, LNCS 1628, pages 67-91, Lisboa, Portugal, June 1999. Springer-Verlag.
7. Erik Ernst. Family polymorphism. In Jørgen Lindskov Knudsen, editor, Proceedings ECOOP'01, LNCS 2072, pages 303-326, Heidelberg, Germany, 2001. Springer-Verlag.
8. Erik Ernst. Safe dynamic multiple inheritance. Nordic Journal of Computing, 9(2002):191-208, fall 2002.
9. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, USA, 1995.
10. Adele Goldberg and David Robson. Smalltalk-80: The Language. Addison-Wesley, Reading, MA, USA, 1989.
11. William Harrison and Harold Ossher. Subject-oriented programming (A critique of pure objects). In Proceedings OOPSLA'93, ACM SIGPLAN Notices, volume 28, 10, pages 411-428, October 1993.
12. Atsushi Igarashi and Benjamin C. Pierce. Foundations for virtual types. In Proceedings ECOOP'99. Also in informal proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL6), 1999.
13. Simon Peyton Jones. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003. To appear.
14. Bill Joy, Guy Steele, James Gosling, and Gilad Bracha. Java(TM) Language Specification (2nd Edition). Addison-Wesley Publishing Company, 2000.
15. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of Aspect J. In Proceedings ECOOP'01, LNCS 2072, pages 327-353, Heidelberg, Germany, 2001. Springer-Verlag.
16. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings ECOOP'97, LNCS 1241, pages 220-242, Jyväskylä, Finland, 9-13 June 1997. Springer.
17. Barbara Liskov. Data abstraction and hierarchy. ACM SIGPLAN Notices, 23(5):17-34, May 1988. Revised version of the keynote address given at OOPSLA'87.
18. Vassily Litvinov. Constraint-based polymorphism in Cecil: Towards a practical and static type system. In Craig Chambers, editor, Proceedings OOPSLA'98, ACM SIGPLAN Notices, volume 33, 10, Vancouver, October 1998. ACM Press.
19. Ole Lehrmann Madsen. Semantic analysis of virtual classes and nested classes. In Linda M. Northrop, editor, Proceedings OOPSLA'99, ACM SIGPLAN Notices, volume 34, 10, Denver, October 1999. ACM Press.
20. Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In Proceedings OOPSLA'89, ACM SIGPLAN Notices, volume 24, 10, pages 397-406, October 1989.
21. Ole Lehrmann Madsen, Birger Møller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, Reading, MA, USA, 1993.
22. Sean McDirmid, Matthew Flatt, and Wilson Hsieh. Jiazzi: New-age components for old-fashioned Java. In Proceedings of OOPSLA'01, volume 36(11) of SIGPLAN Notices, pages 211-222, New York, NY, November 2001. ACM.
23. Bertrand Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997.
24. Mira Mezini and Karl Lieberherr. Adaptive plug-and-play components for evolutionary software development. ACM SIGPLAN Notices, 33(10):97-116, October 1998.
25. Mira Mezini and Klaus Ostermann. Integrating independent components with on-demand remodularization. In Cindy Norris and Jr. James B. Fenwick, editors, Proceedings of OOPSLA'02, volume 37, 11 of ACM SIGPLAN Notices, pages 52-67, New York, November 4-8 2002. ACM Press.
26. R. Mimer, M. Tofte, R. W. Harper, and D. MacQueen. The Definition of Standard ML. MIT Press, 1997.
27. Martin Odersky. Report on the programming language Scala. Technical report, Ecole Polytechnique Federale de Lausanne, 2002.
28. Harold Ossher and William Harrison. Combination of inheritance hierarchies. In Proceedings OOPSLA'92, pages 25-40, October 1992.
29. Klaus Ostermann. Dynamically composable collaborations with delegation layers. In Proceedings ECOOP'02, LNCS 2374, pages 89-110, Malaga, Spain, 2002. Springer-Verlag.
30. Yannis Smaragdakis and Don Batory. Implementing layered design with mixin layers. In Eric Jul, editor, Proceedings ECOOP'98, volume 1445 of LNCS, pages 550-570, Brussels, Belgium, July 1998.
31. Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 3rd edition, 1997.
32. Kristine Stougård Thomsen. Multiple Inheritance, a Structuring Mechanism for Data, Processes and Procedures. Datalogisk afdeling, AArhus Universitet, Århus, Denmark, 1986. DAIMI PB-209.
33. Kresten Krab Thorup. Genericity in Java with virtual types. In Proceedings ECOOP'97, LNCS 1241, pages 444-471, Jyväskylä, June 1997. Springer-Verlag.
34. ∼remy/fool/program.html, January 1998.
35. Glynn Winskel. The Formal Semantics of Programming Languages - an Introduction. Foundations of Computing Series. MIT Press, London, England, 1993.