Not registered as user yet

Name: Keiichi Watanabe

Affiliation: University of Tokyo, Japan

ICFP 2016 Activities

• Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track in ICFP 2016
• Show activities from other conferences