conf.researchr.org / Stéphane Graham-Lengrand
Not registered as user yet
Name:Stéphane Graham-Lengrand
Affiliation:CNRS, France
Contributions
| ICFP 2018 | Author of Tight Typings and Split Bounds within the Research Papers-track |
| CPP 2018 | Author of Proofs in Conflict-Driven Theory Combination within the CPP 2018-track |