conf.researchr.org / Pierre Chambart
Registered user since Tue 12 Sep 2023
Name:Pierre Chambart
Affiliation:OCamlPRO
Contributions
2023
ML
OCaml
- Author of Wasocaml: a compiler from OCaml to WebAssembly within the OCaml 2023-track
- Author of Owi: an interpreter and a toolkit for WebAssembly written in OCaml within the OCaml 2023-track
- Author of Flambda 2 Types: An abstract domain for static analysis of functional programs within the OCaml 2023-track
- Author of Efficient OCaml compilation with Flambda 2 within the OCaml 2023-track