Robin Milner (1934–2010) was a prominent British computer scientist known for his significant contributions to the fields of programming language design, formal methods, and type theory. He is best known for his work on the development of the ML programming language, which introduced important concepts in functional programming and type inference. Milner also developed the Calculus of Communicating Systems (CCS), a formal language for describing concurrent systems that has had a substantial impact on the study of concurrency in computer science.

Articles by others on the same topic (0)

There are currently no matching articles.