Size slicing: a hybrid approach to size inference in futhark.

Troels Henriksen, Martin Elsman, Cosmin E. Oancea

Browse the full ICFP paper archive.