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

Ford, Ben ben.ford at baml.com
Mon Jul 6 12:27:02 UTC 2015

Wasn't that his talk on GADTS and type functions?


-----Original Message-----
From: Haskell-Cafe [mailto:haskell-cafe-bounces at haskell.org] On Behalf Of Mathijs Kwik
Sent: 06 July 2015 12:13
To: haskell-cafe at haskell.org
Subject: [Haskell-cafe] SPJ's Venn diagram on type-correctness

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?

Haskell-Cafe mailing list
Haskell-Cafe at haskell.org

This message, and any attachments, is for the intended recipient(s) only, may contain information that is privileged, confidential and/or proprietary and subject to important terms and conditions available at http://www.bankofamerica.com/emaildisclaimer.   If you are not the intended recipient, please delete this message.

More information about the Haskell-Cafe mailing list