School of Computing

The Type System of Aldor

Erik Poll and Simon Thompson

Technical Report 11-99, Computing Laboratory, University of Kent at Canterbury, Kent CT2 7NF, UK, July 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.

Download publication 411 kbytes (PostScript)

Bibtex Record

author = {Erik Poll and Simon Thompson},
title = {{The Type System of Aldor}},
month = {July},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {Kent CT2 7NF, UK},
    institution = {Computing Laboratory, University of Kent at Canterbury},
    number = {11-99},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014