Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Ryosuke Sato

Registered user since Tue 11 Dec 2018

Name: Ryosuke Sato

Country: Japan

Affiliation: Kyushu University, Japan

Personal website: https://posl.ait.kyushu-u.ac.jp/~sato/

Contributions

PEPM 2019 Combining Higher-Order Model Checking with Refinement Type Inference
Show activities from other conferences

POPL 2019-profile
View general profile