Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Youyou Cong

Registered user since Wed 12 Jul 2017

Name: Youyou Cong

Country: Japan

Affiliation: Ochanomizu University

Personal website:

Research interests: Continuations, Dependent Types, Natural Language Semantics, Computer Science Education


HOPE 2017Author of Only Control Effects and Dependent Types within the HOPE 2017-track
Show activities from other conferences

Blog Posts

ICFP 2017-profile
View general profile