Treffer: Correctness Meets Performance: From Agda to Futhark

Title:
Correctness Meets Performance: From Agda to Futhark
Authors:
Šinkarovs, Artjoms, Henriksen, Troels
Source:
Proceedings of the ACM on Programming Languages. 9(ICFP):567-596
Availability:
http://dl.acm.org/doi/10.1145/3747524
Database:
ACM Full-Text Collection