关注
Leo White
Leo White
Jane Street
在 lpw25.net 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
702018
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
512021
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
512015
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
352020
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
OpenMP extensions for heterogeneous architectures
L White
International Workshop on OpenMP, 94-107, 2011
62011
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
52023
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
Oxidizing OCaml with Modal Memory Management
A Lorenzen, L White, D STEPHEN, RA Eisenberg, S Lindley
Proc. ACM Program. Lang 8, 2024
12024
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
分割できながら等価: 型レベル・エイリアス
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
系统目前无法执行此操作,请稍后再试。
文章 1–20