A Polymorphic Vampire - (Short Paper).

Ahmed Bhayat, Giles Reger

Browse the full CADE paper archive.