Graham Hutton

cs.nott.ac.uk/~gmh

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: 114
HN comments: 31
Rank: #19,537 personal

Visit cs.nott.ac.uk/~gmh → On Hacker News Jan 2015 – Jan 2015

Software Engineering 1 Math & Algorithms 1

Most points Most discussed Most cited Newest

Introduction to Category Theory

2015114 points31 comments Math & Algorithms details

The aim of this course is to teach the basics of category theory, in a way that is accessible and relevant to computer scientists. The emphasis is on gaining a good understanding the basic definitions, examples, and techniques, so that students are equipped for further study on their own of more advanced topics if…