[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.
Lennart Augustsson writes:
> > OK, I'm curious. Two people replied that C++ has undecidable type
> > checking. I was not aware of this (although I can't say I'm too
> > surprised); do you have a reference?
>
> It's actually the template processing that can loop, but it is
> sort of part of the
Andrew Butterfield writes:
> At 15:41 +0100 20/10/97, Greg Michaelson wrote: (rearranged by me for
> dramatic effect :-)
>> But you should look at the Jones and Hayes paper from Software Engineering
>> Journal called something like "Executions are not (always) executable"
I think Greg means "_S
Brian Boutel writes:
> The <- syntax worries me a bit, because in the comprehension use it has a
> different type, but the let syntax is available, and one can write "let p =
> e" "for p <- e". I think that, to reduce possible confusion, I would use,
> and teach, the let form. Given that, I don't