Mark Shinwell
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Efficient OCaml compilation with Flambda 2 | OCaml 2023 | 2023-09-09 |
Flambda 2 is an IR plus an optimization pass for OCaml that replaces the old middle-ends and aims to match closure speed while producing fewer allocations; it… | ||
| Flambda 2 Types: An abstract domain for static analysis of functional programs (mo... | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Flambda 2 implements a forward value analysis as an abstract domain inside the OCaml optimizer, mapping variables to compact value summaries (integers… | ||
| nothing matches | ||