Times Online Obituary for Robin Milner

"Three of his major contributions were known as LCF, ML and CCS. LCF — or Logic for Computable Functions — was a reasoning tool that helped programmers to prove that their programs were correct. ML was a new programming language whose features are widely used in modern computer languages, including Microsoft’s groundbreaking new language F Sharp. Millions of computers all over the world will use this language when they are next upgraded by Microsoft. CCS was a pioneering, simple algebraic approach to describing how concurrent processes interact. It has been widely used in hardware verification."

Not sure that an obit is normally the place for a product placement.