Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Théo Laurent
conf.researchr.org general profile
ICFP 2016 profile
POPL 2018 profile
POPL 2021 profile
Not registered as user yet
Name:
Théo Laurent
Contributions
POPL 2021
Author of Refining Dependent Type Theory within the Student Research Competition-track
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2018
Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
OCaml 2016
Author of Lock-free programming for the masses within the OCaml-track
Share
x
Tue 17 May 09:10