Nikolai Kudasov - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Thu 28 Apr 2016

Name:Nikolai Kudasov

Country:Russia

Affiliation:Innopolis University

Personal website: https://github.com/fizruk/

X (Twitter): https://x.com/crazy_fizruk

GitHub: https://github.com/fizruk

Research interests:Type Theory, Functional Programming

Contributions

2024

CPP

Formalizing the ∞-categorical Yoneda lemma

Show activities from other conferences

POPL 2024-profile
View general profile