Kathrin Stark
Kathrin Stark
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions
K Stark, S Schäfer, J Kaiser
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
172019
Binder aware recursion over well-scoped de Bruijn syntax
J Kaiser, S Schäfer, K Stark
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
112018
Call-by-push-value in Coq: operational, equational, and denotational theory
Y Forster, S Schäfer, S Spies, K Stark
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
102019
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, 2019
102019
Autosubst 2: Towards reasoning with multi-sorted de bruijn terms and vector substitutions
J Kaiser, S Schäfer, K Stark
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory …, 2017
92017
Hereditarily finite sets in constructive type theory
G Smolka, K Stark
International Conference on Interactive Theorem Proving, 374-390, 2016
82016
Embedding Higher-Order Abstract Syntax in Type Theory
S Schäfer, K Stark
TYPES 2018, 1, 2018
32018
Coq ā la carte: a practical approach to modular syntax with binders
Y Forster, K Stark
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
22020
Mechanising syntax with binders in Coq
K Stark
Ph.D. Thesis, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–9