[EMAIL PROTECTED] writes:
> Andrew J. Kennedy. Dimension Types. In ESOP '94: Proceedings of the
> Fifth European Symposium on Programming, Lecture Notes in Computer
> Science 788. Springer-Verlag, 1994
>
> Available electronically from the out-of-date home page
> http://www.cl.cam.ac.uk/~ajk13/
Mikael Rittri followed up this work:
Mikael Rittri. Dimension inference under polymorphic recursion. In
FPCA'95: Proceedings of the 7th ACM Conf. on Functional Programming
Languages and Computer Architecture, La Jolla, California. Pages
147-159. ACM Press 1995.
http://ftp.cs.chalmers.se/users/pub/rittri/dimpolyrec.ps.Z
He adds polymorphic recursion (for dimensions) to Kennedy's type system. This
allows, e.g., definition of a datatype for polynomials that has the correct
dimension type and functions over it (the latter requires the polymorphic
recursion).
Cheers,
Andy
