Leo White

According to our database, Leo White authored at least 13 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Oxidizing OCaml with Modal Memory Management.

Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley

Proc. ACM Program. Lang., 2024

Staged Compilation with Module Functors.

Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie

Proc. ACM Program. Lang., 2024

Modal Effect Types.

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen

CoRR, 2024

2023

MacoCaml: Staging Composable and Compilable Macros.

Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop

Proc. ACM Program. Lang., August, 2023

2021

Retrofitting effect handlers onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Retrofitting parallelism onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy

Proc. ACM Program. Lang., 2020

2019

Lambda: the ultimate sublanguage (experience report).

Jeremy Yallop, Leo White

Proc. ACM Program. Lang., 2019

2017

Concurrent System Programming with Effect Handlers.

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

2014

Extending old languages for new architectures.

Leo White

PhD thesis, 2014

Modular implicits.

Leo White, Frédéric Bour, Jeremy Yallop

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

Lightweight Higher-Kinded Polymorphism.

Jeremy Yallop, Leo White

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation.

Leo White, Alan Mycroft

Proceedings of the Static Analysis - 20th International Symposium, 2013

2011

OpenMP Extensions for Heterogeneous Architectures.

Leo White

Proceedings of the OpenMP in the Petascale Era - 7th International Workshop on OpenMP, 2011