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

ICFP 2017 Activities

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

Blog Posts

• Giving a talk at HOPE Wed 6 Sep 2017