Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Victor Dumitrescu
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2018 profile
Registered user since Mon 8 Jan 2018
Name:
Victor Dumitrescu
Country:
France
Affiliation:
Nomadic Labs Paris
Contributions
2019
ESOP
Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
2018
ML
Author of ML as a Tactic Language, Again within the ML 2018-track
Share
x
Tue 16 Apr 20:56