Generating high performance code for irregular data structures using dependent types

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2021

Proceedings article published in 2021 by Federico Pizzuti, Michel Steuwer

, Christophe Dubach

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Full text: Unavailable

Preprint: policy unknown

Upload

Postprint: policy unknown

Upload

Published version: policy unknown

Upload