• Sign in
  • Sign up
conf.researchr.org / Pierre Chambart
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2023 profile

Registered user since Tue 12 Sep 2023

Name:Pierre Chambart
Affiliation:OCamlPRO

Contributions

2023

ML

  • Author of Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) within the ML-track
  • Author of Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop) within the ML-track

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

2017

OCaml

  • Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track

2016

OCaml

  • Author of Semantics of the Lambda intermediate language within the OCaml-track
  • Author of Partial evaluation and metaprogramming within the OCaml-track
Share
xFri 22 Sep 14:11
using conf.researchr.org (v1.62.0)
Support page
Sign Up