Arthur John Robin Gorell Milner (13. tammikuuta 1934 Plymouth, Englanti – 20. maaliskuuta 2010 Cambridge, Englanti) oli brittiläinen tietojenkäsittelytieteilijä. Milner sai vuonna 1991 Turing-palkinnon työstään, johon kuului kolme merkittävää saavutusta. Hän kehitti LCF-työkalun (Logic of Computable Functions), joka on koneavusteinen työkalu väitteen todisteen muodostamiseen. Hän kehitti ML-kielen polymorfisuudella ja tyyppipäättelyllä sekä tyyppiturvallisella poikkeuskäsittelyllä. Hän kehitti yleisen teorian yhtäaikaisuudelle.
Royal Society Milner Award ja ACM SIGPLAN Robin Milner Young Researcher Award ovat nimetty hänen mukaansa.
| Kansainväliset | |
|---|---|
| Kansalliset | |
| Tieteilijät | |
| Henkilöt | |
| Muut | |
