Re: [Axiom-developer] Papers on Indefinites

[Gabriel Dos Reis]

"Bill Page" <address@hidden> writes:

[...]

|           I think the paper by Steven Watt referred to in the
| following thread:
| 
| http://lists.nongnu.org/archive/html/axiom-developer/2006-08/msg00525.html
| 
| Making Computer Algebra More Symbolic (Invited), Stephen M. Watt,
| pp. 43-49, Proc. Transgressive Computing 2006: A conference
| in honor or Jean Della Dora , (TC 2006), April 24-26 2006,
| Granada Spain.
| 
| http://www.csd.uwo.ca/~watt/pub/reprints/2006-tc-sympoly.pdf
| 
| is a very important contribution. What he is describing here is
| directly related to the implementation of the Expression domain
| constructor in Axiom.

As I said earlier, think of it as use of types programming languages. 

-- Gaby