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
