© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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.Abstract
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
@techreport{874,
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 = {http://www.cs.kent.ac.uk/pubs/1999/874},
address = {Kent CT2 7NF, UK},
institution = {Computing Laboratory, University of Kent at Canterbury},
number = {11-99},
}