Write a Blog >>
HOPE 2017
Sun 3 Sep 2017 Oxford, United Kingdom
co-located with ICFP 2017
Youyou Cong

Registered user since Wed 12 Jul 2017

Name: Youyou Cong

Country: Japan

Affiliation: Ochanomizu University

Personal website: https://sites.google.com/site/youyoucong212/

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