Cars 3 isn't a computer animated movie.
J. Roger Hindley is a prominent British logician best known for the Hindley -- Milner type inference algorithm .. British. United Kingdom. logician. logician. Since 1998 , he has been an Honorary Research Fellow at Swansea University .. Swansea University. Swansea University