Registered user since Wed 16 Nov 2016

Name: Yuki Satake

Affiliation: University of Tsukuba

POPL 2018 Activities

• Presenter of Propositional Dynamic Logic for Higher-Order Functional Programs within the Student Research Competition-track in POPL 2018
• Author of Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs within the Research Papers-track in POPL 2018
• Show activities from other conferences