On the cost of type-tag soundness.

Ben Greenman, Zeina Migeed

Browse the full PEPM paper archive.