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

POPL 2020-profile
View general profile