Registered user since Fri 19 Dec 2014

Name: Hiroshi Unno

Affiliation: University of Tsukuba

POPL 2016 Activities

• Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track in POPL 2016
• Show activities from other conferences