SHPF: a Subset HPF Compilation System

John Merlins's slides.

Bryan Carpenter's slides and draft paper.

Back to HPF workshop program.