Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pierre Chambart
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
Not registered as user yet
Name:
Pierre Chambart
Affiliation:
OCamlPRO
Contributions
OCaml 2017
Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track
OCaml 2016
Author of Semantics of the Lambda intermediate language within the OCaml-track
Author of Partial evaluation and metaprogramming within the OCaml-track
Share
x
Mon 6 Jul 12:15