next up previous
Next: Inheritance Up: What are our requirements for Previous: What are our requirements for

Bounded genericity with dependent types

Recall that the RINGS R in Computer Algebra are obtained by applying rules like
(1)
R = $ \mbox{${\mathbb Z}$}$,
(2)
n  $ \longmapsto$  $ \mbox{${\mathbb Z}$}$/n$ \mbox{${\mathbb Z}$}$,
(3)
R  $ \longmapsto$  R[X],
(4)
(R,$ \cal {I}$$ \longmapsto$  R/$ \cal {I}$
(5)
R  $ \longmapsto$  $ \bf Fr$(R),
(6)
(R1, R2$ \longmapsto$   R1×R2.
To implement the above rules we would like to do the following constructions in our programming language.


next up previous
Next: Inheritance Up: What are our requirements for Previous: What are our requirements for
Marc Moreno Maza
2003-06-06