Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Yannick Forster
Yannick Forster

Registered user since Thu 4 May 2017

Name: Yannick Forster

Country: Germany

Affiliation: Saarland University

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

Contributions

CoqPL 2020Author of A Coq Library of Undecidable Problems within the CoqPL-track
CPP 2020Author of Verified Programming of Turing Machines in Coq within the CPP 2020-track
Author of Undecidability of Higher-Order Unification Formalised in Coq within the CPP 2020-track
Author of Coq à la Carte - A Practical Approach to Modular Syntax with Binders within the CPP 2020-track
POPL 2020Author of Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq within the Research Papers-track
Author of The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile