3 ms·
From http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/intro/ocaml.html http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/int... : > Milner recei
by yawaramin 8y ago
From http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/intro/ocaml.html http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/int... :
> Milner received the Turing Award in 1991 in large part for his work on ML. The award citation includes this praise: "ML was way ahead of its time. It is built on clean and well-articulated mathematical ideas, teased apart so that they can be studied independently and relatively easily remixed and reused. ML has influenced many practical languages, including Java, Scala, and Microsoft's F#. Indeed, no serious language designer should ignore this example of good design."
What does 'award citation' mean in this context? Surely it can't mean the blurb around the original award back in '91.
- chillee 8y agoIt seems that award citation isn't exactly correct. See https://amturing.acm.org/award_winners/milner_1569367.cfm https://amturing.acm.org/award_winners/milner_1569367.cfm for where the blurb can be found. It appears to be part of a biography that one can find for every Turing award winner. It's unclear when these blurbs were written or for what specific purpose.
- DavidTNcl 8y ago> 1991 !?! Java, F# and Scala didn't exist then.