The type system of Aldor
Erik Poll, Simon Thompson · Kent Academic Repository (University of Kent) · 1999
This paper gives a formal description of -- at least a part of -- the type system of Aldor, the extension language of the computer algebra system AXIOM. In the process of doing this a critique of the design of the system emerges.