Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.