Graded Hoare Logic and its Categorical Semantics.

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato

Browse the full ESOP paper archive.