Follow
Leo White
Leo White
Jane Street
Verified email at lpw25.net - Homepage
Title
Cited by
Cited by
Year
Concurrent system programming with effect handlers
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
Trends in Functional Programming: 18th International Symposium, TFP 2017 …, 2018
752018
Effective concurrency through algebraic effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Workshop 13, 2015
742015
Retrofitting effect handlers onto OCaml
KC Sivaramakrishnan, S Dolan, L White, T Kelly, S Jaffer, ...
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
662021
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
532015
Retrofitting parallelism onto ocaml
KC Sivaramakrishnan, S Dolan, L White, S Jaffer, T Kelly, A Sahoo, ...
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
412020
Multicore ocaml
S Dolan, L White, A Madhavapeddy
OCaml Workshop 2, 2014
292014
Modular macros
J Yallop, L White
OCaml Users and Developers Workshop 6, 2015
182015
Lightweight higher-kinded polymorphism
J Yallop, L White
International Symposium on Functional and Logic Programming, 119-135, 2014
182014
Effectively tackling the awkward squad
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
ML Workshop, 2017
92017
MacoCaml: staging composable and compilable macros
N Xie, L White, O Nicole, J Yallop
Proceedings of the ACM on Programming Languages 7 (ICFP), 604-648, 2023
72023
OpenMP extensions for heterogeneous architectures
L White
International Workshop on OpenMP, 94-107, 2011
62011
Extension points for OCaml
L White
OCaml Users and Developers Workshop, 2013
42013
Extending old languages for new architectures
L White
32014
Type-level module aliases: independent and equal
J Garrigue, L White
ML Family Workshop, 2014
22014
Oxidizing OCaml with Modal Memory Management
A Lorenzen, L White, S Dolan, RA Eisenberg, S Lindley
Proceedings of the ACM on Programming Languages 8 (ICFP), 485-514, 2024
12024
Syntax with shifted names
S Dolan, L White
TyDe Workshop, 2019
12019
Staged Compilation with Module Functors
TJ Chiang, J Yallop, L White, N Xie
Proceedings of the ACM on Programming Languages 8 (ICFP), 693-727, 2024
2024
Modal Effect Types
W Tang, L White, S Dolan, D Hillerström, S Lindley, A Lorenzen
arXiv preprint arXiv:2407.11816, 2024
2024
Lambda: the ultimate sublanguage (experience report)
J Yallop, L White
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-17, 2019
2019
Towards an effect system for OCaml
S Dolan, M Pretnar, L White, KC Sivaramakrishnan
2016
The system can't perform the operation now. Try again later.
Articles 1–20