1
New Edition of “Programming in Haskell” Now Available
An extensively updated and expanded version of the best-selling first edition. Now covers recent and more advanced features of Haskell.
My research interests are in the general area of functional programming , with an emphasis on formal reasoning about program correctness and efficiency. The aim of my work is to develop simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical…
Visit cs.nott.ac.uk/~pszgmh → On Hacker News Sep 2016 – Sep 2016
An extensively updated and expanded version of the best-selling first edition. Now covers recent and more advanced features of Haskell.