Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Kathrin Stark

Registered user since Tue 8 Jan 2019

Name: Kathrin Stark

Country: United States

Affiliation: Princeton University, USA

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

Contributions

ICFP 2020Author of POPLMark reloaded: Mechanizing proofs by logical relations within the JFP Talks-track
Show activities from other conferences

Using general profile