| PublicationsBy Stephen M. Watt- Type Specialization in Aldor, 2010
- Multiprocessed Parallelism Support in ALDOR on SMPs and Multicores, 2007
- Generic Programming Techniques in Aldor, 2007
- What Happened to Languages for Symbolic Mathematical Computation?, 2007
- Post Facto Type Extension for Mathematical Programming, 2006
- Domains and Expressions: An Interface Between Two Approaches to Computer Algebra, 2005
- Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra, 2005
- Debugging A High-Level Language via a Unified Interpreter and Compiler Runtime Environment, 2004
- On the Implementation of Dynamic Evaluation, 1995
- A First Report on the A# Compiler, 1994
- FOAM: A First Order Abstract Machine, 1994
- The Scratchpad II Type System: Domains and Subdomains, 1990
- Scratchpad II: An Abstract Datatype System for Mathematical Computation, 1987
- Infinite Structures in Scratchpad II, 1987
By Simon Thompson- The Aldor-- Language, ?
- Integrating Computer Algebra and Reasoning through the Type System of Aldor, 2000
- Aldor meets Haskell, 1999
- The Type System of Aldor, 1999
- Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor, 1998
|
|