Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Leo White
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2021 profile
POPL 2018 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Mon 17 Feb 2020
Name:
Leo White
Country:
United Kingdom
Affiliation:
Jane Street
Contributions
2025
ICFP
Committee Member in ICFP Programme Committee within the ICFP Papers-track
POPL
Author of Data Race Freedom à la Mode within the POPL-track
2024
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2024-track
HOPE
Author of Arrows as applicatives in a monad within the HOPE 2024-track
ICFP
Author of Oxidizing OCaml with Modal Memory Management within the ICFP Papers and Events-track
Author of Staged Compilation with Module Functors within the ICFP Papers and Events-track
ML
Author of Designing interrupts for ML and OCaml within the ML-track
2023
ICFP
Author of MacoCaml: Staging Composable and Compilable Macros within the Artifact Evaluation-track
Author of MacoCaml: Staging Composable and Compilable Macros within the ICFP Papers and Events-track
ML
Author of Semi-explicit polymorphic parameters within the ML-track
OCaml
Author of Safe and efficient generic functions with MacoCaml within the OCaml 2023-track
2022
OCaml
Author of Stack allocation for OCaml within the OCaml 2022-track
ML
Author of Unboxed types for OCaml within the ML-track
Author of Module Shapes for Modern Tooling within the ML-track
2021
PLDI
Author of Retrofitting Effect Handlers onto OCaml within the PLDI-track
2020
ICFP
Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track
ML
Chair in Program Committee within the ML 2020-track
Committee Member in Organizing Committee within the ML 2020-track
OCaml
Committee Member in Program Committee within the OCaml 2020-track
Author of The final pieces of the OCaml documentation puzzle within the OCaml 2020-track
2019
ICFP
Author of Lambda: the Ultimate Sublanguage (Experience Report) within the Research Papers-track
TyDe
Author of Syntax with Shifted Names within the TyDe 2019-track
2018
PEPM
Author of Modular Macros (Poster/Demo Talk) within the PEPM 2018-track
2017
ML
Author of Effectively tackling the awkward squad within the ML 2017-track
2016
HOPE
Author of Effective programming: bringing algebraic effects and handlers to OCaml within the HOPE-track
Share
x
Thu 21 Nov 15:37