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 | 77 | 2018 |
Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015 | 73 | 2015 |
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 | 70 | 2021 |
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015 | 56 | 2015 |
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 | 45 | 2020 |
Multicore ocaml S Dolan, L White, A Madhavapeddy OCaml Workshop 2, 2014 | 29 | 2014 |
Modular macros J Yallop, L White OCaml Users and Developers Workshop 6, 2015 | 19 | 2015 |
Lightweight higher-kinded polymorphism J Yallop, L White International Symposium on Functional and Logic Programming, 119-135, 2014 | 19 | 2014 |
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 | 11 | 2023 |
Effectively tackling the awkward squad S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ... ML Workshop, 2017 | 9 | 2017 |
OpenMP extensions for heterogeneous architectures L White International Workshop on OpenMP, 94-107, 2011 | 7 | 2011 |
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 | 5 | 2024 |
Extension points for OCaml L White OCaml Users and Developers Workshop, 2013 | 4 | 2013 |
Extending old languages for new architectures L White | 3 | 2014 |
Type-level module aliases: independent and equal J Garrigue, L White ML Family Workshop, 2014 | 2 | 2014 |
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 | 1 | 2024 |
Syntax with shifted names S Dolan, L White TyDe Workshop, 2019 | 1 | 2019 |
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 |