%0 Conference Paper %1 conf/icfp/PizzutiSD21 %A Pizzuti, Federico %A Steuwer, Michel %A Dubach, Christophe %B FHPNC@ICFP %D 2021 %E Keller, Gabriele %E Henriksen, Troels %I ACM %K dblp %P 37-49 %T Generating high performance code for irregular data structures using dependent types. %U http://dblp.uni-trier.de/db/conf/icfp/fhpnc2021.html#PizzutiSD21 %@ 978-1-4503-8614-2

@inproceedings{conf/icfp/PizzutiSD21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Pizzuti, Federico and Steuwer, Michel and Dubach, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/21f3ec20103d76be39eea9bf7fbb2253b/dblp}, booktitle = {FHPNC@ICFP}, crossref = {conf/icfp/2021fhpnc}, editor = {Keller, Gabriele and Henriksen, Troels}, ee = {https://doi.org/10.1145/3471873.3472977}, interhash = {d4242e4a254d38e9eb4f27b18e835ef1}, intrahash = {1f3ec20103d76be39eea9bf7fbb2253b}, isbn = {978-1-4503-8614-2}, keywords = {dblp}, pages = {37-49}, publisher = {ACM}, timestamp = {2024-04-09T17:30:49.000+0200}, title = {Generating high performance code for irregular data structures using dependent types.}, url = {http://dblp.uni-trier.de/db/conf/icfp/fhpnc2021.html#PizzutiSD21}, year = 2021 }