Title
Verified Compilation and Optimization of Floating-Point Programs in CakeML
Year
DOI
Venue
2022
10.4230/LIPICS.ECOOP.2022.1
European Conference on Object-Oriented Programming (ECOOP)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
8
Name
Order
Citations
PageRank
Heiko Becker101.69
Robert Rabe200.34
Eva Darulova36911.84
Magnus O. Myreen462135.67
Zachary Tatlock530721.68
Ramana Kumar614113.56
Yong Kiam Tan710712.93
Anthony C. J. Fox817510.70