Scalable and Precise Refinement Types for Imperative Languages.

Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl

Browse the full IFM paper archive.