Completely iterative monads in semantics of coinductive programs par Pirog, M

Backtracking with cut via a distributive law and left-zero monoids par Piróg, M, Staton, S

A systematic derivation of the STG machine verified in Coq par Pirog, M, Biernacki, D

From push/enter to eval/apply by program transformation par Pirog, M, Gibbons, J

Tracing monadic computations and representing effects par Pirog, M, Gibbons, J

The coinductive resumption monad par Piróg, M, Gibbons, J

A Functional Derivation of the Warren Abstract Machine par Pirog, M, Gibbons, J

Monads for behaviour par Piróg, M, Gibbons, J

The coinductive resumption monad par Piróg, M, Gibbons, J

Monads for behaviour par Piróg, M, Gibbons, J