I’m a PhD student at the University of Birmingham, supervised by Paul Levy.
» more about me

At MFPS’16, I’ll be presenting our paper “Iteration and labelled iteration“. When you naively add iteration to lambda calculus, nested loops with control are very inconvenient in the resulting language. The inconvenience is rather like trying to program with De Bruijn indices. We give an alternative syntax using second-order labels.
» view paper

My research is about improving functional programming, specifically tweaking algebraic effects and handlers to get stronger guarantees on the behaviour of effects: if get/set effects are handled by runState, then we want to optimise e.g. get() + get() to 2×get(). This is currently not generally possible, especially not under lambdas; the language feels too imperative for me. I think the first step towards such optimisations is coupling handlers to effect names: names should not be values but identifiers bound by the handler.
» more about my research

I did my master’s thesis under Herman Geuvers about a continuation calculus with a code=data feel, which yielded 2 papers: paper 1, paper 2.