Kleene Monads: Handling Iteration in a Framework of Generic Effects

by Sergey Goncharov , Lutz Schröder , Till Mossakowski
Citations:1 - 0 self