POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / Yannick Forster
Yannick Forster

Registered user since Thu 4 May 2017

Name:Yannick Forster
Country:France
Affiliation:Inria
Personal website:https://yforster.de
GitHub:https://github.com/yforster

Contributions

CPP 2023 Committee Member in Program Committee within the CPP 2023-track
A Computational Cantor-Bernstein and Myhill’s Isomorphism Theorem in Constructive Type Theory (Proof Pearl)
Show activities from other conferences

POPL 2023-profile
View general profile