Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Naoki Kobayashi

Registered user since Tue 17 Nov 2015

Name: Naoki Kobayashi

Affiliation: University of Tokyo, Japan

Contributions

PEPM 2019Author of Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking within the PEPM 2019-track
Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track
Show activities from other conferences

Using general profile