Hoare-style reasoning with (algebraic) continuations.

Germn Andrs Delbianco, Aleksandar Nanevski

Browse the full ICFP paper archive.