Generating high performance code for irregular data structures using dependent types.

Federico Pizzuti, Michel Steuwer, Christophe Dubach

Browse the full ICFP paper archive.