Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing - Filinski, Andrzej (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages (ACM, 2012)