-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 <s.j.thompson@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe