HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:type systems

Papers
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus
Georgios V. Pitsiladis
EasyChair Preprint no. 7596
Automatic Space Bound Analysis for Functional Programs with Garbage Collection
Yue Niu and Jan Hoffmann
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Robin Adams and Sibylle Schupp
EasyChair Preprint no. 425
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
Sylvia Grewe, Sebastian Erdweg and Mira Mezini
In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Using Vampire in Soundness Proofs of Type Systems
Sylvia Grewe, Sebastian Erdweg and Mira Mezini
In:Proceedings of the 1st and 2nd Vampire Workshops
The use of types in designing unification algorithms: two case studies
Serdar Erbatur, Santiago Escobar and Paliath Narendran
In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Copyright © 2012-2023 easychair.org. All rights reserved.