Re: [Sml-implementers] Subject: Standard ML

[Dave B. <da...@ta...>]

At 17:04 25/09/2001, Andreas Rossberg wrote:
>Matthias Blume wrote:
>> Well, that settles that.  Sounds like "Standard ML" is soon to be officially
>> dead.  Ideas for a new name, anyone?
>
>How about continuing a good tradition in naming PLs and call it "Robin"?

Surely "MiLner" (or "MLner") fits the tradition better?

I'm rather amused by the idea of naming a language after someone who
apparently wants nothing to do with it ;-).

Dave.