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 | 23756 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

AltStyle によって変換されたページ (->オリジナル) /