Modular Verification of Programs with Effects and Effect Handlers in Coq.

Thomas Letan, Yann Rgis-Gianas, Pierre Chifflier, Guillaume Hiet

Browse the full FM paper archive.