Leo White
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 25 in the filters
who talks about the same things
- Stephen Dolan13 talks
- KC Sivaramakrishnan17 talks
- Sudha Parimala9 talks
- Sam Lindley27 talks
- Ningning Xie21 talks
- François Pottier14 talks
| title | conference | date |
|---|---|---|
| Modal Effect Types | OOPSLA 2025 | 2025-10-16 |
Replaces pervasive effect variables with an ambient effect context and explicit modalities so higher‑order library signatures no longer need ubiquitous effect… | ||
| Data Race Freedom à la Mode | POPL 2025 | 2025-01-19 |
DRFcaml extends OCaml's type system with new mode axes (contention and portability) to statically guarantee data-race freedom for multi-threaded OCaml while… | ||
| Designing interrupts for ML and OCaml | ML 2024 | 2024-09-06 |
Proposes a concrete design for OCaml asynchronous exceptions that introduces a new exception kind separate from ordinary catchable exceptions, plus a… | ||
| Arrows as applicatives in a monad | HOPE 2024 | 2024-09-02 |
Argues that arrows are essentially applicatives with sharing and gives a concrete API: a Node type with an applicative interface whose map returns inside a… | ||
| Semi-explicit polymorphic parameters | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Reuses Garrigue and Remy’s semi-explicit ideas to add labeled types for polymorphic parameters, gives formal typing rules and implements them in an OCaml… | ||
| MacoCaml: Staging Composable and Compilable Macros | ICFP 2023 | 2023-09-04 |
MacoCaml implements compile‑time code generation inside the OCaml compiler, treating macros as compile-time bindings and using quotation/splice staging so… | ||
| Stack allocation for OCaml | OCaml 2022 | 2022-09-16 |
Adds a modal type extension to OCaml that lets values be allocated on a separate stack when safe, implemented in the compiler and available on GitHub. The… | ||
| Unboxed types for OCaml | ML 2022 | 2022-09-15 |
Proposal adds unboxed types to OCaml to eliminate pointer boxing and heavy allocation (example: a pair of 32-bit ints on 64-bit needing many words and… | ||
| Module Shapes for Modern Tooling | ML 2022 | 2022-09-15 |
Adds a compact language called Shapes to the OCaml compiler that represents module structure and tracks definitions through functor application, includes… | ||
| Retrofitting Parallelism onto Ocaml | ICFP 2020 | 2020-08-23 |
A mostly-concurrent, non-moving mark-and-sweep GC for multicore OCaml is implemented (major heap based on VCGC, allocator from Streamflow) and extended to… | ||
| Syntax with Shifted Names | TyDe 2019 | 2019-08-18 |
Claims a new representation called shifted names that tags free names with numeric indices so freshness side-conditions disappear. Defines four concrete… | ||
| nothing matches | ||