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