Inferring Non-failure Conditions for Declarative Programs.

Michael Hanus

Browse the full FLOPS paper archive.