|
| From: | Tim Daly |
| Subject: | [Axiom-developer] Mathematical Programming Languages with strong typing |
| Date: | Tue, 16 Jan 2007 01:33:35 -0500 |
| User-agent: | Mozilla Thunderbird 1.0.6 (Windows/20050716) |
I've been reviewing your documents on Fortress. Have you seen Axiom (http://wiki.axiom-developer.org)? It already has some of the parameterized types as well as a very strong mathematical structure. Tim Daly address@hidden
| [Prev in Thread] | Current Thread | [Next in Thread] |