PhD Abstracts. - HUTTON, GRAHAM (Journal of Functional Programming, 2020)