[Haskell-cafe] Proving programs

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Thu Jan 3 07:14:21 CET 2013

On Wed, Jan 2, 2013 at 12:22 PM, Simon Thompson <s.j.thompson at kent.ac.uk> wrote:
> Christopher, there's an introduction to proof for functional programs at
>   http://www.cs.kent.ac.uk/people/staff/sjt/Pubs/ProofChapter.pdf

Simon, is it possible to get the list of the bibliographic references
used in the chapter?

Best regards,


More information about the Haskell-Cafe mailing list