English Robin Milner Cited by user Duncan.Hull on 05 Jun 2011 Arthur John Robin Gorell Milner FRS FRSE (13 January 1934 – 20 March 2010), known as Robin Milner or A.