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
PLDI 2021 profile
POPL 2018 profile
POPL 2024 profile
Registered user since Mon 17 Feb 2020
Name:
Leo White
Affiliation:
Jane Street
Contributions
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-track
Author of Staged Compilation with Module Functors within the ICFP Papers-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
Tue 16 Jul 19:48