Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015 | 74 | 2015 |
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 | 69 | 2018 |
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015 | 51 | 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 | 47 | 2021 |
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 | 32 | 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 | 18 | 2015 |
Lightweight higher-kinded polymorphism J Yallop, L White International Symposium on Functional and Logic Programming, 119-135, 2014 | 18 | 2014 |
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 | 6 | 2011 |
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 | 4 | 2023 |
Extending old languages for new architectures L White | 3 | 2014 |
Extension points for OCaml L White OCaml Users and Developers Workshop, 2013 | 3 | 2013 |
Type-level module aliases: independent and equal J Garrigue, L White ML Family Workshop, 2014 | 2 | 2014 |
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 | | |