Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview.

Andrew P. Black, Peter W. O'Hearn

Browse the full POPL paper archive.