Static type checking of multi-methods
- 1 November 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (11) , 113-128
- https://doi.org/10.1145/118014.117963
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Efficient method dispatch in PCLPublished by Association for Computing Machinery (ACM) ,1990
- TICLOS: an implementation of CLOS for the explorer familyPublished by Association for Computing Machinery (ACM) ,1989
- Efficient management of transitive relationships in large data and knowledge basesPublished by Association for Computing Machinery (ACM) ,1989
- Common Lisp Object System specificationACM SIGPLAN Notices, 1988
- CommonLoops: merging Lisp and object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1986
- A simple technique for handling multiple polymorphismPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972