. . "In addition to his ground breaking work of LCF (Logic for Computable Functions) and CCS and many other seminal contributions, Robin was the acknowledged father of ML, from which F#, OCaml, SML and other languages derive." . . .