Filter Fusion.

Todd A. Proebsting, Scott A. Watterson

Browse the full POPL paper archive.