Blogs / Personal blogs

Graham Hutton

cs.nott.ac.uk/~pszgmh

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…

Popular posts
1
Total points
117
HN comments
23
Rank
#19,206 personal

Visit cs.nott.ac.uk/~pszgmh → On Hacker News Sep 2016 – Sep 2016

Software Engineering 1Programming Languages 1