ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
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


FARM 2022 Program Chair in Program Committee within the FARM-track
Program Chair in Organizing Committee within the FARM-track
HOPE 2022 Monadic Semantics of Bidirectional Effects
TyDe 2022 Towards Dependently-Typed Control Effects (Extended Abstract)
Show activities from other conferences

ICFP 2022-profile
View general profile