PhD Abstracts - Hutton, Graham (Journal of Functional Programming)