Parameterized Recursive Refinement Types for Automated Program Verification.

Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato

Browse the full SAS paper archive.