Follow
Kathrin Stark
Kathrin Stark
Assistant Professor, Heriot-Watt University
Verified email at hw.ac.uk - 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
372019
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
302019
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
162018
Hereditarily finite sets in constructive type theory
G Smolka, K Stark
International Conference on Interactive Theorem Proving, 374-390, 2016
122016
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
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
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
82020
Mechanising syntax with binders in Coq
K Stark
Ph.D. Thesis, 2020
62020
Embedding Higher-Order Abstract Syntax in Type Theory
S Schäfer, K Stark
TYPES 2018, 1, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–9