Re: [Haskell-cafe] Proving programs

Which book does that chapter belongs to? -Satvik On Thu, Jan 3, 2013 at 11:44 AM, Andrés Sicard-Ramírez < andres.sicard.ramirez@gmail.com> wrote:

On Wed, Jan 2, 2013 at 12:22 PM, Simon Thompson 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,

-- Andrés

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe