HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:André Pacak

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

Keyphrases

automated theorem proving, soundness proofs of type systems, Vampire.

Copyright © 2012-2025 easychair.org. All rights reserved.