Using Vampire in Soundness Proofs of Type Systems.

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

Browse the full CADE paper archive.