Kathrin Stark - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Tue 8 Jan 2019

Name: Kathrin Stark

Country: Germany

Affiliation: Saarland University, Germany

Personal website: https://www.ps.uni-saarland.de/~kstark/

Contributions

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