[Haskell-cafe] Proving programs
andres.sicard.ramirez at gmail.com
Thu Jan 3 07:14:21 CET 2013
On Wed, Jan 2, 2013 at 12:22 PM, Simon Thompson <s.j.thompson at kent.ac.uk> wrote:
> Christopher, there's an introduction to proof for functional programs at
Simon, is it possible to get the list of the bibliographic references
used in the chapter?
More information about the Haskell-Cafe