Generating high performance code for irregular data structures using dependent types

Federico Pizzuti, Michel Steuwer, Christophe Dubach. Generating high performance code for irregular data structures using dependent types. In Gabriele Keller, Troels Henriksen, editors, FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2021, Virtual Event, Korea, August 22, 2021. pages 37-49, ACM, 2021. [doi]

Abstract

Abstract is missing.