Youyou Cong

Registered user since Wed 12 Jul 2017

Name:Youyou Cong
Affiliation:Tokyo Institute of Technology
Research interests:Continuations, Dependent Types, Natural Language Semantics, Computer Science Education


POPL 2023 Committee Member in Selection Committee within the Student Research Competition-track
PEPM 2023 Towards a Reflection for Effect Handlers
Show activities from other conferences

POPL 2023-profile
View general profile