1. Asymptotic speedup via effect handlers;Journal of Functional Programming;2024
2. Global Optimisation with Constructive Reals;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Cheating Like The Neighbors: Logarithmic Complexity For Fitness Evaluation In Genetic Algorithms;2021 IEEE Congress on Evolutionary Computation (CEC);2021-06-28
4. Effects for efficiency: asymptotic speedup with first-class control;Proceedings of the ACM on Programming Languages;2020-08-02
5. Computable decision making on the reals and other spaces;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09