From Rosetta Code
(Redirected from SPAD)
This programming language may be used to instruct a computer to perform a task.
Garbage collected: Yes
Type strength: Strong
Type checking: Static
See Also:
Listed below are all of the tasks on Rosetta Code which have been solved using SPAD.

SPAD is programming language used by the Fricas Computer Algebra System (as well as by Axiom and OpenAxiom). It is a multiparadigm language with second order dependent types. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy and is used in compiler - or interpreter mode.