Ah, the silliness of computer science type theory research, what do they know with their silly Turing awards and SIGPLAN papers.

Usually only looked in high regard when the content supports the message, proudly ignored otherwise.