Підписатись
Leo White
Leo White
Jane Street
Підтверджена електронна адреса в lpw25.net - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
772018
Effective concurrency through algebraic effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Workshop 13, 2015
732015
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
702021
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
562015
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
452020
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
192015
Lightweight higher-kinded polymorphism
J Yallop, L White
International Symposium on Functional and Logic Programming, 119-135, 2014
192014
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
112023
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
72011
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
52024
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
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
12024
Syntax with shifted names
S Dolan, L White
TyDe Workshop, 2019
12019
Data Race Freedom à la Mode
AL Georges, B Peters, L Elbeheiry, L White, S Dolan, RA Eisenberg, ...
Proceedings of the ACM on Programming Languages 9 (POPL), 656-686, 2025
2025
Designing interrupts for ML and OCaml
G Munch-Maccagnoni, L White, S Dolan
Higher-order, Typed, Inferred, Strict: ML Family Workshop 2024, 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
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20