by Richard Morris | 14 January 2010 |

Although Robin Milner is best known for creating ML, which has evolved into Microsoft's new F# language, he would, had this never happened, still be renowned for developing LCF, one of the first tools for automated theorem proving, and for calculus of communicating...
Read more...