Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.

Tony Hoare

Browse the full POPL paper archive.