conf.researchr.org / Pierre Chambart

Not registered as user yet

Name: Pierre Chambart

Affiliation: OCamlPRO

Contributions

OCaml 2017Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track
OCaml 2016Author of Semantics of the Lambda intermediate language within the OCaml-track
Author of Partial evaluation and metaprogramming within the OCaml-track