Steven Schäfer

According to our database, Steven Schäfer authored at least 10 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Engineering formal systems in constructive type theory.

Steven Schäfer

PhD thesis, 2019

POPLMark reloaded: Mechanizing proofs by logical relations.

Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark

J. Funct. Program., 2019

Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.

Kathrin Stark, Steven Schäfer, Jonas Kaiser

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

Call-by-push-value in coq: operational, equational, and denotational theory.

Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Binder aware recursion over well-scoped de Bruijn syntax.

Jonas Kaiser, Steven Schäfer, Kathrin Stark

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Tower Induction and Up-to Techniques for CCS with Fixed Points.

Steven Schäfer, Gert Smolka

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Axiomatic semantics for compiler verification.

Steven Schäfer, Sigurd Schneider, Gert Smolka

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Transfinite Constructions in Classical Type Theory.

Gert Smolka, Steven Schäfer, Christian Doczkal

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions.

Steven Schäfer, Tobias Tebbi, Gert Smolka

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Completeness and Decidability of de Bruijn Substitution Algebra in Coq.

Steven Schäfer, Gert Smolka, Tobias Tebbi

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015