Multi-methods in a statically-typed programming language

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

Volumn 512 LNCS, Issue , 1991, Pages 307-324

  Mugridge, Warwick B ^a   Hamer, John ^a   Hosking, John G ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Contravariance; Multi methods; Object oriented; Polymorphism; Static typing

Indexed keywords

POLYMORPHISM; SEMANTICS;

CONTRAVARIANCE; FUNCTION CALLS; MULTI METHODS; OBJECT ORIENTED; SEPARATE COMPILATION; STATIC TYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 0037493577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0057029     Document Type: Conference Paper

References (17)

1. Canning P S, Cook W R, Hill W L, Olthoff W G, 1989. Interfaces for strongly-typed object-oriented programming, OOPSLA’89, ACM SIGPLAN Notices, 24 (10) October, 1989, pp457-467.
2. Cardelli L, Wegner P, 1985. On understanding types, data abstraction, and polymorphism, Computing Surveys, 17(4), pp471-522.
3. Cook W, 1989. A proposal for making Eiffel type safe, in Cook S (Ed), ECOOP 89, Cambridge University Press, pp57-70.
4. Dahl O J, Nygaard K, 1966. Simula - an Algol-based simulation language, CACM 9 (9), pp671-678.
5. Field A J, Harrison P G, 1988. Functional Programming, Addison-Wesley.
6. Goldberg A, Robson D, 1983. Smalltalk 80: The Language and its Implementation, Addison-Wesley.
7. Halbert D C, O'Brien P. P, 1987. Using types and inheritance in object-oriented programming, IEEE Software, September 1987, pp71-79.
8. Hamer J, Hosking J G, Mugridge W B, 1989. Knowledge-based systems for representing codes of practice, Report 48, Department of Computer Science, University of Auckland, New Zealand.
9. Hamer J, 1990a. Expert Systems for codes of practice, PhD Thesis, Department of Computer Science, University of Auckland, New Zealand.
10. Hamer J, 1990b. Class Language runtime system: detailed specification, BRANZ Contract 85-024, Technical Report No. 9, Department of Computer Science, University of Auckland, New Zealand.
11. Hosking J G, Hamer J, Mugridge W B, 1990. Integrating functional and object-oriented programming, Procs. Pacific Tools 80 Conference, Sydney, Australia, November 1990.
12. Keene S E, 1989. Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS, Addison-Wesley, 1989.
13. Meyer B, 1988. Object-Oriented Software Construction, Prentice Hall.
14. Mugridge W B, Hosking J G, Hamer J, 1990. Functional extensions to an object-oriented programming language, Report No. 49, Department of Computer Science, University of Auckland, New Zealand.
15. Mugridge W B, Hamer J, Hosking J G, 1991a. The semantics of multivariant functions, in preparation.
16. Mugridge W B, Hamer J, Hosking J G, 1991b. Type loss in statically-typed object-oriented programming languages, in preparation.
17. Smith J M, Smith D C P, 1977. Database abstractions: aggregation and generalization, ACM Trans, on Database Systems, 2 (2), 1977, pp 105-133.