


default search action
7th FHPC 2018: St. Louis, MO, USA
- Kei Davis, Mike Rainey:
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018. ACM 2018 - Vadim Zaliva
, Franz Franchetti:
HELIX: a case study of a formal verification of high performance program generation. 1-9 - Troels Henriksen, Martin Elsman
, Cosmin E. Oancea:
Modular acceleration: tricky cases of functional high-performance computing. 10-21

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.