Which book does that chapter belongs to? -Satvik
On Thu, Jan 3, 2013 at 11:44 AM, Andrés Sicard-Ramírez < [email protected]> wrote: > On Wed, Jan 2, 2013 at 12:22 PM, Simon Thompson <[email protected]> > 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
