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