Steven Schäfer - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Mon 7 Dec 2015

Name:Steven Schäfer

Country:Germany

Affiliation:Saarland University

Research interests:Formal Verification, Interactive Theorem Proving, Compiler Construction

Contributions

CPP 2019	Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory
Show activities from other conferences