Home

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.

By Ohad Kammar at 2015-09-18 14:48 | Functional | General | Implementation | Object-Functional | OOP | other blogs | 23990 reads

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.

By Ohad Kammar at Fri, 2015-09-18 14:50 | login or register to post comments

If only the other guys

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

By Ehud Lamm at Fri, 2015-09-18 16:15 | login or register to post comments