Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Simon Boulier
conf.researchr.org general profile
POPL 2017 profile
POPL 2018 profile
Registered user since Mon 9 Jan 2017
Name:
Simon Boulier
Contributions
2018
CoqPL
Author of Typed Template Coq within the -track
2017
CPP
Author of The Next 700 Syntactical models of type theory within the CPP-track
Share
x
Sat 21 Dec 20:01