We have lost Robin Milner

I just heard of the death of Robin Milner, which seems to have been quite unexpected. Professor Milner was interviewed in Masterminds of Programming in relation to his work on the ML language. My condolences to his family and colleagues.