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

Federico Pizzuti Michel Steuwer Christophe Dubach

Published in: FHPNC@ICFP (2021)

Keyphrases

data structure
source code
cost effective
data sets
data mining
machine learning
social networks
video sequences
evolutionary algorithm
multiresolution
generation process
high reliability