A#

("A sharp")

A# is a separable component of Version 2 of the AXIOM computer algebra system. As a language it is object-oriented and functional, and both types and functions are first class values.