Leo White

17 papers A* 1B 1Misc 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Data Race Freedom à la Mode.
Proc. ACM Program. Lang.
Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
2025 J jnl
Modal Effect Types.
Proc. ACM Program. Lang.
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
2024 J jnl
Modal Effect Types.
CoRR
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
2024 J jnl
Oxidizing OCaml with Modal Memory Management.
Proc. ACM Program. Lang.
Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley
2024 J jnl
Staged Compilation with Module Functors.
Proc. ACM Program. Lang.
Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie
2023 J jnl
MacoCaml: Staging Composable and Compilable Macros.
Proc. ACM Program. Lang.
Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
2021 J jnl
Retrofitting Effect Handlers onto OCaml.
CoRR
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2021 A* conf
Retrofitting effect handlers onto OCaml.
PLDI
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2020 J jnl
Retrofitting Parallelism onto OCaml.
CoRR
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020 J jnl
Retrofitting parallelism onto OCaml.
Proc. ACM Program. Lang.
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2019 J jnl
Lambda: the ultimate sublanguage (experience report).
Proc. ACM Program. Lang.
Jeremy Yallop, Leo White
2017 — conf
Concurrent System Programming with Effect Handlers.
TFP
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
2014 — —
Extending old languages for new architectures.
Leo White
2014 Misc conf
Lightweight Higher-Kinded Polymorphism.
FLOPS
Jeremy Yallop, Leo White
2014 — conf
Modular implicits.
ML/OCaml
Leo White, Frédéric Bour, Jeremy Yallop
2013 B conf
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation.
SAS
Leo White, Alan Mycroft
2011 — conf
OpenMP Extensions for Heterogeneous Architectures.
IWOMP
Leo White