Robin Milner – Wikipedia, wolna encyklopedia

Robin Milner
Państwo działania	Wielka Brytania
Data i miejsce urodzenia	13 stycznia 1934 ; Plymouth
Data i miejsce śmierci	20 marca 2010 ; Cambridge
	Specjalność: informatyka
Alma Mater	Uniwersytet w Cambridge
Uczelnia	Uniwersytet Stanforda

Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge^[1]^[2]) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku^[3] i EATCS w roku 2005^[4]. Od 1988 był członkiem Royal Society^[1].

Twórca LCF (Logic for Computable Functions)^[5] – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML^[5] stworzonego na potrzeby LCF.

Przypisy[edytuj | edytuj kod]

↑ ^a ^b Martin Campbell-Kelly: Robin Milner obituary. The Guardian, 1 kwietnia 2010. [dostęp 2018-10-27]. (ang.).
↑ [TYPES] Very sad news. lists.seas.upenn.edu. [dostęp 2017-11-26]. (ang.).
↑ Robin Milner. Elements of interaction: Turing award lecture. „Communications of the ACM”. 36, s. 78–89, 1993. DOI: 10.1145/151233.151240. (ang.).
↑ EATCS Award. eatcs.org. [dostęp 2018-10-27]. (ang.).
↑ ^a ^b From LCF to HOL: a short history. W: Michael J. C. Gordon: Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, MA: MIT Press, 2000, s. 169–185. ISBN 0-262-16188-5. [dostęp 2018-10-27].

[guardian-1] Martin Campbell-Kelly: Robin Milner obituary. The Guardian, 1 kwietnia 2010. [dostęp 2018-10-27]. (ang.).

[upenn.edu-2] [TYPES] Very sad news. lists.seas.upenn.edu. [dostęp 2017-11-26]. (ang.).

[turing-3] Robin Milner. Elements of interaction: Turing award lecture. „Communications of the ACM”. 36, s. 78–89, 1993. DOI: 10.1145/151233.151240. (ang.).

[eatcs-4] EATCS Award. eatcs.org. [dostęp 2018-10-27]. (ang.).

[lcf-5] From LCF to HOL: a short history. W: Michael J. C. Gordon: Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, MA: MIT Press, 2000, s. 169–185. ISBN 0-262-16188-5. [dostęp 2018-10-27].

[1]

[2]

[3]

[4]

[5]