Xavier Leroy will receive the Royal Society's 2016 Milner Award

The Royal Society will award Xavier Leroy the Milner Award 2016

... in recognition of his research on the OCaml functional programming language and on the formal verification of compilers.

Xavier's replied:

It is very moving to see how far we have come, from Milner's great ideas of the 1970s to tools as powerful and as widely used as OCaml and Coq.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

That's two Royal institutes..

... recognizing ML-family functional languages on the same month.

If only the other guys

If only the other guys weren't so lazy... Congrats!!