Refinement Type Refutations How to show that a program doesn't type check? By Robin Webbers and Klaus v. Gleissenthall Posted on June 29, 2024 Refinement Typing [Read More] Tags: liquid-types counterexamples