Using Types to Avoid Redundant Specialization.

Erik Ruf, Daniel Weise

Browse the full PEPM paper archive.