Next:
Bounded genericity with dependent types
Up:
Implementing Computer Algebra: basic ideas
Previous:
Multivariate polynomials.
What are our requirements for the language?
Subsections
Bounded genericity with dependent types
Inheritance
Post-facto extensions
Efficiency
Next:
Bounded genericity with dependent types
Up:
Implementing Computer Algebra: basic ideas
Previous:
Multivariate polynomials.
Marc Moreno Maza
2008-01-07