[Haskell-cafe] SPJ's Venn diagram on type-correctness

[Mathijs Kwik]

Hi all,

Sometime in the past, I came across a presentation from SPJ in which he
showed a Venn diagram showing "programs that compile" and "programs that
are correct".

Unfortunately, I cannot remember the exact wording and I'm unable to
find the slides/talk on google/youtube.

Does anyone remember the exact details of the diagram?
Or the title of the talk? Is there still a link to it?

Thanks,
Mathijs