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

Mathijs Kwik mathijs at bluescreen303.nl
Mon Jul 6 11:12:59 UTC 2015

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?


More information about the Haskell-Cafe mailing list