[Haskell-cafe] Proving programs

[satvik chauhan]

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 at gmail.com> wrote:

> 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,
>
> --
> Andrés
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130103/5f2c1c64/attachment.htm>