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
Name:
Théo Laurent
Contributions
2021
POPL
Author of Refining Dependent Type Theory within the Student Research Competition-track
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
2018
PriSC
Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
2016
OCaml
Author of Lock-free programming for the masses within the OCaml-track
Share
x
Sat 25 Oct 22:48