Robert Rabe
According to our database1,
Robert Rabe
authored at least 3 papers
between 2021 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).
Dagstuhl Artifacts Ser., 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021