Fun with semirings: a functional pearl on the abuse of linear algebra. - Stephen Dolan (ICFP, 2013)

Compiler support for lightweight context switching. - Stephen Dolan; Servesh Muralidharan; David Gregg (ACM Trans. Archit. Code Optim., 2013)

Polymorphism, subtyping, and type inference in MLsub. - Stephen Dolan; Alan Mycroft (POPL, 2017)

Concurrent System Programming with Effect Handlers. - Stephen Dolan; Spiros Eliopoulos; Daniel Hillerström; Anil Madhavapeddy; K. C. Sivaramakrishnan; Leo White (TFP, 2017)

First-Class Subtypes. - Jeremy Yallop; Stephen Dolan (ML/OCaml, 2017)

Transcriptomics technologies. - Rohan Lowe; Neil J. Shirley; Mark Bleackley; Stephen Dolan; Thomas Shafee (PLoS Comput. Biol., 2017)

Bounding data races in space and time. - Stephen Dolan; K. C. Sivaramakrishnan; Anil Madhavapeddy (PLDI, 2018)

Repairing and mechanising the JavaScript relaxed memory model. - Conrad Watt; Christopher Pulte; Anton Podkopaev; Guillaume Barbier; Stephen Dolan; Shaked Flur; Jean Pichon-Pharabod; Shu-yu Guo (PLDI, 2020)

Brief Announcement: The Only Undoable CRDTs are Counters. - Stephen Dolan (PODC, 2020)

The Only Undoable CRDTs are Counters. - Stephen Dolan (CoRR, 2020)

Retrofitting parallelism onto OCaml. - K. C. Sivaramakrishnan; Stephen Dolan; Leo White; Sadiq Jaffer; Tom Kelly; Anmol Sahoo; Sudha Parimala; Atul Dhiman; Anil Madhavapeddy (Proc. ACM Program. Lang., 2020)

Retrofitting effect handlers onto OCaml. - K. C. Sivaramakrishnan; Stephen Dolan; Leo White; Tom Kelly; Sadiq Jaffer; Anil Madhavapeddy (PLDI, 2021)

Computing with generic trees in Agda. - Stephen Dolan (TyDe@ICFP, 2022)

Structure-Based Discovery of Lipoteichoic Acid Synthase Inhibitors. - Xavier Chee Wezen; Aneesh Chandran; Rohan Sakariah Eapen; Elaine Waters; Laura Bricio-Moreno; Tommaso Tosi; Stephen Dolan; Charlotte Millership; Aras Kadioglu; Angelika Gründling; Laura S. Itzhaki; Martin Welch; et al. (J. Chem. Inf. Model., 2022)

A fixed point theorem for COFEs. - Stephen Dolan (CoRR, 2023)

Oxidizing OCaml with Modal Memory Management. - Anton Lorenzen; Leo White; Stephen Dolan; Richard A. Eisenberg; Sam Lindley (Proc. ACM Program. Lang., 2024)

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. - Nicolas Chataing; Stephen Dolan; Gabriel Scherer; Jeremy Yallop (Proc. ACM Program. Lang., 2024)

Lifetime Dispersion and Generational GC: An Intellectual Abstract. - Stephen Dolan (ISMM, 2025)

Data Race Freedom à la Mode. - Aïna Linn Georges; Benjamin Peters; Laila Elbeheiry; Leo White; Stephen Dolan; Richard A. Eisenberg; Chris Casinghino; François Pottier; Derek Dreyer (Proc. ACM Program. Lang., 2025)

Modal Effect Types. - Wenhao Tang; Leo White; Stephen Dolan; Daniel Hillerström; Sam Lindley; Anton Lorenzen (Proc. ACM Program. Lang., 2025)