Sylvia Grewe. VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs. In Eelco Visser, editor, Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. pages 12-14, ACM, 2016. [doi]
Abstract is missing.