Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Kathrin Stark
Kathrin Stark

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 2019Author 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

POPL 2019-profile
View general profile