Leo White

Orcid: 0009-0003-7046-3035

According to our database1, Leo White authored at least 11 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Modal Effect Types.
CoRR, 2024

2023
MacoCaml: Staging Composable and Compilable Macros.
Proc. ACM Program. Lang., August, 2023

2021
Retrofitting effect handlers onto OCaml.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Retrofitting parallelism onto OCaml.
Proc. ACM Program. Lang., 2020

2019
Lambda: the ultimate sublanguage (experience report).
Proc. ACM Program. Lang., 2019

2017
Concurrent System Programming with Effect Handlers.
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

2014
Extending old languages for new architectures.
PhD thesis, 2014

Modular implicits.
Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

Lightweight Higher-Kinded Polymorphism.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation.
Proceedings of the Static Analysis - 20th International Symposium, 2013

2011
OpenMP Extensions for Heterogeneous Architectures.
Proceedings of the OpenMP in the Petascale Era - 7th International Workshop on OpenMP, 2011


  Loading...