Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Latest Publications

TOTAL DOCUMENTS

66
(FIVE YEARS 0)

H-INDEX

16
(FIVE YEARS 0)

Published By ACM Press

9781450346603
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Learning nominal automata

2017 ◽  
Author(s):  
Joshua Moerman ◽  
Matteo Sammartino ◽  
Alexandra Silva ◽  
Bartek Klin ◽  
Michał Szynwelski

Rigorous floating-point mixed-precision tuning

2017 ◽  
Author(s):  
Wei-Fan Chiang ◽  
Mark Baranowski ◽  
Ian Briggs ◽  
Alexey Solovyev ◽  
Ganesh Gopalakrishnan ◽  
...  
Keyword(s):  
Floating Point ◽  
Mixed Precision
Load More ...
Sign in / Sign up

Export Citation Format

Share Document