Follow
Leo White
Leo White
Jane Street
Verified email at lpw25.net - Homepage
Title
Cited by
Cited by
Year
Effective concurrency through algebraic effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Workshop 13, 2015
742015
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
682018
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
512015
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
452021
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
312020
Multicore ocaml
S Dolan, L White, A Madhavapeddy
OCaml Workshop 2, 2014
292014
Lightweight higher-kinded polymorphism
J Yallop, L White
International Symposium on Functional and Logic Programming, 119-135, 2014
182014
Modular macros
J Yallop, L White
OCaml Users and Developers Workshop 6, 2015
162015
Effectively tackling the awkward squad
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
ML Workshop, 2017
92017
OpenMP extensions for heterogeneous architectures
L White
International Workshop on OpenMP, 94-107, 2011
62011
Extending old languages for new architectures
L White
32014
Extension points for OCaml
L White
OCaml Users and Developers Workshop, 2013
32013
Type-level module aliases: independent and equal
J Garrigue, L White
ML Family Workshop, 2014
22014
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
12023
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
分割できながら等価: 型レベル・エイリアス
J Garrigue, LP White
日本ソフトウェア科学会大会論文集/日本ソフトウェア科学会 編 31, 275-278, 2014
2014
Concise analysis using implication algebras for task-local memory optimisation
L White, A Mycroft
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
2013
Oxidizing OCaml with Modal Memory Management
A LORENZEN, LEO WHITE, D STEPHEN, RA EISENBERG, ...
Safe and efficient generic functions with MacoCaml
D Szamozvancev, L White, N Xie, J Yallop
The system can't perform the operation now. Try again later.
Articles 1–20