PhD abstractsHutton, GrahamJournal of functional programming2017 / art. e25, p. 1-18 https://doi.org/10.1017/s0956796817000181