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

[Ford, Ben]

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

http://research.microsoft.com/en-us/um/people/simonpj/papers/assoc-types/fun-with-type-funs/FunWithTypeFuns-Apr09.pdf

-----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?

Thanks,
Mathijs
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe at haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

----------------------------------------------------------------------
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.