Which book does that chapter belongs to?
-Satvik
On Thu, Jan 3, 2013 at 11:44 AM, Andrés Sicard-Ramírez
andres.sicard.rami...@gmail.com wrote:
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
On Thu, Jan 3, 2013 at 8:07 AM, satvik chauhan mystic.sat...@gmail.com wrote:
Which book does that chapter belongs to?
http://www-fp.dcs.st-and.ac.uk/pfpbook/
--
Andrés
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Le Tue, 01 Jan 2013 14:24:04 -0900,
Christopher Howard christopher.how...@frigidcode.com a écrit :
I'm working through a video lecture describing how to prove programs
correct, by first translating the program into a control flow
representation and then using propositional logic. In the
Christopher, there's an introduction to proof for functional programs at
http://www.cs.kent.ac.uk/people/staff/sjt/Pubs/ProofChapter.pdf
I hope that you find it useful.
Kind regards
Simon
On 1 Jan 2013, at 23:24, Christopher Howard christopher.how...@frigidcode.com
wrote:
1. Does this
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
I'm working through a video lecture describing how to prove programs
correct, by first translating the program into a control flow
representation and then using propositional logic. In the control flow
section, the speaker described how the program should be understood in
terms of an input vector