"Ford, Ben" writes:

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

http://research.microsoft.com/en-us/um/people/simonpj/papers/assoc-types/fun...

Very nice :) Thanks!

-----Original Message----- From: Haskell-Cafe [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of Mathijs Kwik Sent: 06 July 2015 12:13 To: haskell-cafe@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@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.