Leo White

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 8

Top Venues

Proc. ACM Program. Lang.

CoRR

PLDI

TFP

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
Modal Effect Types. CoRR (2024)
Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
MacoCaml: Staging Composable and Compilable Macros. Proc. ACM Program. Lang. 7 (ICFP) (2023)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting Effect Handlers onto OCaml. CoRR (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting effect handlers onto OCaml. PLDI (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting parallelism onto OCaml. Proc. ACM Program. Lang. 4 (ICFP) (2020)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting Parallelism onto OCaml. CoRR (2020)
Jeremy Yallop, Leo White
Lambda: the ultimate sublanguage (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
Concurrent System Programming with Effect Handlers. TFP (2017)
Leo White, Frédéric Bour, Jeremy Yallop
Modular implicits. ML/OCaml (2014)
Jeremy Yallop, Leo White
Lightweight Higher-Kinded Polymorphism. FLOPS (2014)
Leo White, Alan Mycroft
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. SAS (2013)
Leo White
OpenMP Extensions for Heterogeneous Architectures. IWOMP (2011)

Leo White.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leo White