Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yuki Satake

Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs

Proceedings of the ACM on Programming Languages

English