[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Papers on Indefinites
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Papers on Indefinites |
Date: |
17 Sep 2006 22:38:25 +0200 |
"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