[Haskell-cafe] SPJ's Venn diagram on type-correctness
mathijs at bluescreen303.nl
Mon Jul 6 11:12:59 UTC 2015
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
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