Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Graham Hutton

Registered user since Wed 21 Dec 2016

Name:Graham Hutton
Bio:

I’m Professor of Computer Science at the University of Nottingham, where I co-lead the Functional Programming Lab. My research interests are in developing simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. I’m an editor of the Journal of Functional Programming, member of IFIP working group 2.1 on Algorithmic Languages and Calculi, and an ACM Distinguished Scientist. I’ve also served as vice-chair of the ACM Special Interest Group on Programming Languages, and steering committee chair of the International Conference on Functional Programming.

Country:United Kingdom
Affiliation:University of Nottingham, UK

Contributions

Haskell 2018 Committee Member in Program Committee within the Haskell 2018-track
AutoBench: Comparing the Time Performance of Haskell Programs
Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
ICFP 2018 Parametric Polymorphism and Operational Improvement
Show activities from other conferences

ICFP 2018-profile
View general profile