Graham Hutton is Professor of Computer Science at the University of Nottingham. He has served as an editor of the Journal of Functional Programming, Chair of the Haskell Symposium and the International Conference on Functional Programming, Vice-Chair of the ACM Special Interest Group on Programming Languages, and he is an ACM Distinguished Scientist. His research interests are in developing simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. A new edition of his book Programming in Haskell was published in 2016.
Talks I've Given
Calculating Correct Compilers
Featuring Graham Hutton
In this talk, you will learn a new approach to the problem of calculating compilers. In particular, you will explore developing a simple but general technique that allows you to derive correct compilers from high-level semantics by systematic calculation, with all the required compilation...compilers haskell haskellx technique semantics calculation