Kleene Monads: Handling Iteration in a Framework of Generic Effects.

Sergey Goncharov, Lutz Schrder, Till Mossakowski

Browse the full CALCO paper archive.