conf.researchr.org / Robert Rabe
Not registered as user yet
Name:Robert Rabe
Affiliation:TU Munich
Contributions
| ECOOP 2022 | Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track |
Not registered as user yet
Contributions
| ECOOP 2022 | Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track |