Optimising Purely Functional GPU Programs (Thesis)