Statistics
Publications
5
Citations
110
H-Index
5
Active since
2015
Affiliations
Saarland University(Current)
Steven Schäfer is an author at Saarland University specializing in computer science, coq, and programming languages.
Publications per year
2015–2019
5
5
POPLMark reloaded: Mechanizing proofs by logical relations
Andreas Abel, Guillaume Allais, Aliya Hameer et al. · Journal of Functional Programming · 2019 · 31 citations · Full text
Call-by-push-value in Coq: operational, equational, and denotational theory
Yannick Forster, Steven Schäfer, Simon Spies et al. · 2019 · 12 citations
Binder aware recursion over well-scoped de Bruijn syntax
Jonas Kaiser, Steven Schäfer, Kathrin Stark · 2018 · 11 citations
1–5 of 5