Tech Pioneers

Stories of legendary people who shaped the tech industry

Tech Pioneers

Robin Milner: The Creator of ML Programming Language and Pi-Calculus

Robin Milner (1934-2010) created the ML programming language, which introduced the revolutionary Hindley-Milner type inference system used in Haskell, Rust, F#, TypeScript, and many modern languages. He also developed CCS and the pi-calculus for concurrent systems and built the LCF theorem prover. Turing Award recipient in 1991.

20 min read