Concepedia

Leo White

LW

4

Publications

72

Citations

4

H-Index

2015

Active since

Affiliations

University of Cambridge(Current)

Leo White is an author at University of Cambridge specializing in formal methods, program analysis, and engineering.

ORCID

Top concepts

Publications per year

2015–2024

4

Publications

4

Retrofitting parallelism onto OCaml.

KC Sivaramakrishnan, Stephen K. Dolan, Leo White et al. · Apollo (University of Cambridge) · 2020 · 27 citations · Full text

Modular implicits

Leo White, Frédéric Bour, Jeremy Yallop · Electronic Proceedings in Theoretical Computer Science · 2015 · 24 citations · Full text

, , +10

MacoCaml: Staging Composable and Compilable Macros

Ningning Xie, Leo White, Olivier Nicole et al. · Proceedings of the ACM on Programming Languages · 2023 · 11 citations · Full text

Oxidizing OCaml with Modal Memory Management

Anton Lorenzen, Leo White, Stephen Dolan et al. · Proceedings of the ACM on Programming Languages · 2024 · 10 citations · Full text

Rows per page

1–4 of 4