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

Mathijs Kwik mathijs at bluescreen303.nl
Mon Jul 6 13:01:42 UTC 2015

"Ford, Ben" <ben.ford at baml.com> writes:

> 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

Very nice :)

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

More information about the Haskell-Cafe mailing list