Typechecking and modules for multimethods
- 30 November 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 17 (6) , 805-843
- https://doi.org/10.1145/218570.218571
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Typechecking and modules for multi-methodsACM SIGPLAN Notices, 1994
- Subject-oriented programmingACM SIGPLAN Notices, 1993
- StrongtalkACM SIGPLAN Notices, 1993
- Safe and decidable type checking in an object-oriented languageACM SIGPLAN Notices, 1993
- A calculus for overloaded functions with subtypingACM SIGPLAN Lisp Pointers, 1992
- A static type system for message passingACM SIGPLAN Notices, 1991
- Reasoning about object-oriented programs that use subtypesACM SIGPLAN Notices, 1990
- A parallel object-oriented language with inheritance and subtypingACM SIGPLAN Notices, 1990
- Interfaces for strongly-typed object-oriented programmingACM SIGPLAN Notices, 1989
- A overview of modular smalltalkACM SIGPLAN Notices, 1988