Type-based parametric analysis of program families.

Sheng Chen, Martin Erwig

Browse the full ICFP paper archive.