Subtyping Inheritance in Languages for Symbolic Computation Systems

Paolo Di Blasio, Marco Temperini. Subtyping Inheritance in Languages for Symbolic Computation Systems. In Alfonso Miola, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 93, Gmunden, Austria, September 15-17, 1993, Proceedings. Volume 722 of Lecture Notes in Computer Science, pages 107-121, Springer, 1993.

Abstract

Abstract is missing.