Generating high performance code for irregular data structures using dependent types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Federico Pizzuti' in GoogleThis author has not been identified. Look up 'Michel Steuwer' in GoogleThis author has not been identified. Look up 'Christophe Dubach' in Google

runs on WebDSL