Léo Andrès
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
- Pierre Chambart2×
- Dario Pintoonce
- Eric Patrizioonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Owi: an interpreter and a toolkit for WebAssembly written in OCaml | OCaml 2023 | 2023-09-09 |
Owi is an OCaml-based interpreter and toolkit for WebAssembly that ships a linker, multiple IR passes, a concrete interpreter, and a symbolic execution backed… | ||
| Wasocaml: a compiler from OCaml to WebAssembly | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
Wasocaml compiles OCaml (from the Flambda stage) to WebAssembly GC and ships a working prototype runtime that uses Wasm features like structs and subtyping… | ||
| nothing matches | ||