Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. K. Abdali, G. Cherry, and N. Soiffer. An Object Oriented Approach to Algebra System Design. In Symposium on symbolic and algebraic manipulation, pages 24–30. ACM, 1986.
2. R.M. Burstall and B. Lampson. A Kernel Language for Abstract Data Types and Modules. In Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 1–50. Springer Verlag, 1988.
3. J. Calmet and I. Tjandra. A Unified-Algebra-based Specification Language for Symbolic Computing. In Design and Implementation of Symbolic Computation Systems (Proceedings of DISCO '93), volume 722 of Lecture Notes in Computer Science, pages 122–133. Springer Verlag, 1993.
4. L. Cardelli. A Polymorphic λ-calculus with Type:Type. Technical Report 10, DEC Systems Research Center, 1986.
5. L. Cardelli. Typeful Programming. Technical Report 45, DEC Systems Research Center, 1989.