Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 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 2020 POPLMark reloaded: Mechanizing proofs by logical relations
Show activities from other conferences

ICFP 2020-profile
View general profile