A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning.

Reynald Affeldt, David Nowak, Takafumi Saikawa

Browse the full MPC paper archive.