BiographyComputing historyBeginner
Robin Milner: ML, machine-assisted proof, and languages of interaction
Learn how Robin Milner connected theorem proving, ML, type inference, and concurrency models to give software rigorous foundations.
24 August 20268 minRead