Write a Blog >>
Hiroshi Unno

Registered user since Fri 19 Dec 2014

Name: Hiroshi Unno

Affiliation: University of Tsukuba

Contributions

POPL 2016 Temporal Verification of Higher-order Functional Programs
Show activities from other conferences

POPL 2016-profile
View general profile