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 2019 Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
Combining Higher-Order Model Checking with Refinement Type Inference
Show activities from other conferences

POPL 2019-profile
View general profile