HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:soundness proofs of type systems

Publications
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
Sylvia Grewe, André Pacak and Mira Mezini
In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Copyright © 2012-2025 easychair.org. All rights reserved.