VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs.

Sylvia Grewe

Browse the full OOPSLA paper archive.