Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof | IEEE Conference Publication | IEEE Xplore